Model checking embedded and real time systems

被引：0
|
作者：
Larsen, Kim G. [1 ]
机构：
[1] Univ Aalborg, Aalborg, Denmark
来源：
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS | 2008年
关键词：
D O I：
10.1109/WODES.2008.4605955
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：260 / 260
页数：1
相关论文
共 50 条
  • [1] Verification of embedded real-time systems using symbolic model checking: A case study
    Duan, Z. (zhhduan@mail.xidian.edu.cn), 1600, Science and Engineering Research Support Society, 20 Virginia Court, Sandy Bay, Tasmania, Australia (06):
  • [2] Compositional Model Checking for Real-Time Systems
    Hou, J.
    Li, X.
    Fan, X.
    Zheng, G.
    Software Engineering Notes, 23 (01):
  • [3] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
  • [4] Forward symbolic model checking for real time systems
    Logothetis, Georgios
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 1043 - 1046
  • [5] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224
  • [6] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [7] Verifying distributed real-time properties of embedded systems via graph transformations and model checking
    Gabor Madl
    Sherif Abdelwahed
    Douglas C. Schmidt
    Real-Time Systems, 2006, 33 : 77 - 100
  • [8] Verifying distributed real-time properties of embedded systems via graph transformations and model checking
    Gabor, MU
    Sherif, AU
    Schmidt, DC
    REAL-TIME SYSTEMS, 2006, 33 (1-3) : 77 - 100
  • [9] Model checking embedded systems with PROMELA
    Ribeiro, OR
    Fernandes, JM
    Pinto, LF
    12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2005, : 378 - 385
  • [10] 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
12345