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 条
  • [41] Combined model checking for temporal, probabilistic, and real-time logics
    Konur, Savas
    Fisher, Michael
    Schewe, Sven
    THEORETICAL COMPUTER SCIENCE, 2013, 503 : 61 - 88
  • [42] Solving real-time scheduling problems with model-checking
    Gu, ZH
    EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 186 - 197
  • [43] Statistical Model Checking of Distributed Real-Time Actor Systems
    Nigro, Libero
    Sciammarella, Paolo F.
    2017 IEEE/ACM 21ST INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2017, : 188 - 195
  • [44] Comparing model checking and logical reasoning for real-time systems
    Dierks, H
    FORMAL ASPECTS OF COMPUTING, 2004, 16 (02) : 104 - 120
  • [45] Statistical Model Checking of Distributed Adaptive Real-Time Software
    Kyle, David
    Hansen, Jeffery
    Chaki, Sagar
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 269 - 274
  • [46] Model checking for real-time temporal, cooperation and epistemic properties
    Cao, Zining
    Intelligent Information Processing III, 2006, 228 : 63 - 72
  • [47] A parametric model checking approach for real-time systems design
    Sathawornwichit, C
    Katayama, T
    12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 584 - 591
  • [48] Fast on-the-fly parametric real-time model checking
    Zhang, DZ
    Cleaveland, R
    RTSS 2005: 26TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2005, : 157 - 166
  • [49] A Comparative Study of Decision Diagrams for Real-Time Model Checking
    Al-Bataineh, Omar
    Reynolds, Mark
    Rosenblum, David
    MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 216 - 234
  • [50] Model Checking of Real-Time Systems Using Rewriting Logic
    Bendiaf, Messaoud
    Bourahla, Mustapha
    Boudia, Malika
    Rehab, Seidali
    PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES (ICEIT 2017), 2017,
12345