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 条
  • [31] Real-time model-checking:: Parameters everywhere
    Bruyère, V
    Raskin, JF
    FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2003, 2914 : 100 - 111
  • [32] MODEL-CHECKING FOR PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 115 - 126
  • [33] Model-checking real-time concurrent systems
    Romanovsky, I
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 439 - 439
  • [34] An efficient real-time middleware scheduling algorithm for periodic real-time tasks
    Park, HJ
    Lee, CH
    ARTIFICIAL INTELLIGENCE AND SIMULATION, 2004, 3397 : 304 - 312
  • [35] Elite Bases Regression: A Real-time Algorithm for Symbolic Regression
    Chen, Chen
    Luo, Changtong
    Jiang, Zonglin
    2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017, : 529 - 535
  • [36] Efficient Symbolic Model Checking for Process Algebras
    Vander Meulen, Jose
    Pecheur, Charles
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5596 : 69 - 84
  • [37] Efficient Integration of Online Model Checking into a Small-Footprint Real-time Operating System
    Sudhakar, Krishna
    Zhao, Yuhong
    Rammig, Franz-Josef
    2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 374 - 383
  • [38] Efficient integration of online model checking into a small-footprint real-time operating system
    Sudhakar, Krishna
    Zhao, Yuhong
    Rammig, Franz-Josef
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016, 28 (14): : 3773 - 3797
  • [39] Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time
    Jinkyung Kim
    Il Moon
    Korean Journal of Chemical Engineering, 2010, 27 : 1654 - 1661
  • [40] Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time
    Kim, Jinkyung
    Moon, Il
    KOREAN JOURNAL OF CHEMICAL ENGINEERING, 2010, 27 (06) : 1654 - 1661
12345