Kronos: A model-checking tool for real-time systems

被引：0
|
作者：
Bozga, M
Daws, C
Maler, O
Olivero, A
Tripakis, S
Yovine, S
机构：
[1] Ctr Equat, VERIMAG, F-38610 Gieres, France
[2] Univ Republ, Inst Computac, Montevideo, Uruguay
来源：
COMPUTER AIDED VERIFICATION | 1998年 / 1427卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：546 / 550
页数：5
相关论文
共 50 条
  • [1] Kronos: A model-checking tool for real-time systems (Tool-presentation for FTRTFT '98)
    Bozga, M
    Daws, C
    Maler, O
    Olivero, A
    Tripakis, S
    Yovine, S
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 298 - 302
  • [2] Optikron: A tool suite for enhancing model-checking of real-time systems
    Daws, C
    [J]. COMPUTER AIDED VERIFICATION, 1998, 1427 : 542 - 545
  • [3] MODEL-CHECKING FOR PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 115 - 126
  • [4] Model-checking real-time concurrent systems
    Romanovsky, I
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 439 - 439
  • [5] MODEL-CHECKING IN DENSE REAL-TIME
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    [J]. INFORMATION AND COMPUTATION, 1993, 104 (01) : 2 - 34
  • [6] Dense time-based model-checking of real-time systems
    Zhang, GQ
    Rong, M
    [J]. PROCEEDINGS OF THE 11TH JOINT INTERNATIONAL COMPUTER CONFERENCE, 2005, : 785 - 788
  • [7] MOBY/DC - A tool for model-checking parametric real-time specifications
    Dierks, H
    Tapken, J
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 271 - 277
  • [8] Real-time model-checking:: Parameters everywhere
    Bruyère, V
    Raskin, JF
    [J]. FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2003, 2914 : 100 - 111
  • [9] REAL-TIME MODEL-CHECKING: PARAMETERS EVERYWHERE
    Bruyere, Veronique
    Raskin, Jean-Francois
    [J]. Logical Methods in Computer Science, 2007, 3 (01)
  • [10] Kronos: A verification tool for real-time systems
    Yovine S.
    [J]. International Journal on Software Tools for Technology Transfer, 1997, 1 (1-2) : 123 - 133
12345