An efficient algorithm for real-time symbolic model checking

被引：11
|
作者：
Frossl, J [1 ]
Gerlach, J [1 ]
Kropf, T [1 ]
机构：
[1] UNIV KARLSRUHE,INST RECHNERENTWURF & FEHLERTOLERANZ,D-76128 KARLSRUHE,GERMANY
来源：
EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/EDTC.1996.494120
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：15 / 20
页数：6
相关论文
共 50 条
  • [1] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
  • [2] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [3] Symbolic model checking for discrete real-time systems
    Xiangyu LUO
    Lijun WU
    Qingliang CHEN
    Haibo LI
    Lixiao ZHENG
    Zuxi CHEN
    Science China(Information Sciences), 2018, 61 (05) : 203 - 225
  • [4] Symbolic model checking for discrete real-time systems
    Xiangyu Luo
    Lijun Wu
    Qingliang Chen
    Haibo Li
    Lixiao Zheng
    Zuxi Chen
    Science China Information Sciences, 2018, 61
  • [5] Symbolic model checking for discrete real-time systems
    Luo, Xiangyu
    Wu, Lijun
    Chen, Qingliang
    Li, Haibo
    Zheng, Lixiao
    Chen, Zuxi
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (05)
  • [6] Correctness of efficient real-time model checking
    Reif, W
    Schellhorn, G
    Vollmer, T
    Ruf, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (02) : 194 - 209
  • [7] On-the-fly symbolic model checking for real-time systems
    Bouajjani, A
    Tripakis, S
    Yovine, S
    18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 25 - 34
  • [8] Symbolic model checking for event-driven real-time systems
    Yang, J
    Mok, AK
    Wang, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 386 - 412
  • [9] Efficient CTMC Model Checking of Linear Real-Time Objectives
    Barbot, Benoit
    Chen, Taolue
    Han, Tingting
    Katoen, Joost-Pieter
    Mereacre, Alexandru
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 128 - +
  • [10] Efficient Model-Checking for Real-Time Task Networks
    Dierks, Henning
    Metzner, Alexander
    Stierand, Ingo
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 11 - 18
12345