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 条
  • [21] On expressiveness and complexity in real-time model checking
    Bouyer, Patricia
    Markey, Nicolas
    Ouaknine, Joeal
    Worrell, James
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 2008, 5126 : 124 - +
  • [22] Real-time model checking: Algorithms and complexity
    Worrell, James
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 19 - 19
  • [23] Real-time model checking is really simple
    Lamport, L
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 162 - 175
  • [24] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224
  • [25] Real-time model checking on secondary storage
    Edelkamp, Stefan
    Jabbar, Shahid
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 67 - +
  • [26] Partition refinement in real-time model checking
    Spelberg, RL
    Toetenel, H
    Ammerlaan, M
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 143 - 157
  • [27] Symbolic execution and timed automata model checking for timing analysis of Java']Java real-time systems
    Luckow, Kasper S.
    Pasareanu, Corina S.
    Thomsen, Bent
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2015, (01)
  • [28] Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
    Igawa, Nao
    Yokogawa, Tomoyuki
    Amasaki, Sousuke
    Kondo, Masafumi
    Sato, Yoichiro
    Arimoto, Kazutami
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2020, E103D (03) : 702 - 705
  • [29] Model checking real-time properties of symmetric systems
    Emerson, EA
    Trefler, RJ
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 427 - 436
  • [30] REAL-TIME MODEL-CHECKING: PARAMETERS EVERYWHERE
    Bruyere, Veronique
    Raskin, Jean-Francois
    Logical Methods in Computer Science, 2007, 3 (01)
12345