Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

被引：0
|
作者：
机构：
来源：
NASA Conference Publication | 1991年 / 3103 pt 2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A REAL-TIME INTERVAL LOGIC FOR REASONING - ABOUT EXECUTIONS OF REAL-TIME PROGRAMS
    RAZOUK, RR
    GORLICK, MM
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 10 - 19
  • [2] TEMPORAL REASONING ABOUT REAL-TIME REACTIVE SYSTEMS
    WANG, J
    CHEN, HW
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 249 - 256
  • [3] REASONING ABOUT REAL-TIME SYSTEMS
    PETERS, JF
    AUSTRALIAN COMPUTER JOURNAL, 1993, 25 (04): : 135 - 147
  • [4] EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS
    MELLIARSMITH, PM
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 224 - 242
  • [5] EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS
    MELLIARSMITH, PM
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 224 - 242
  • [6] REASONING ASSERTIONALLY ABOUT REAL-TIME SYSTEMS
    SHANKAR, AU
    PROCEEDINGS OF THE IEEE, 1994, 82 (01) : 172 - 183
  • [7] Reasoning about the Reliability of Multi-Version, Diverse Real-Time Systems
    Burns, A.
    Littlewood, B.
    31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 73 - 81
  • [8] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION OF REAL-TIME SYSTEMS
    PNUELI, A
    HAREL, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 84 - 98
  • [9] Model checking real-time systems within unified approach of timed interval temporal logic
    Zhu, Wei-Jun
    Qiao, Peng-Zhe
    Zhou, Qing-Lei
    Zhang, Hai-Bin
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2014, 43 (05): : 712 - 716
  • [10] Compositional reasoning about events in-interval temporal logic
    Dimitrov, J
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 675 - 678
12345