SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS

被引：0
|
作者：
HOOMAN, J [1 ]
机构：
[1] EINDHOVEN UNIV TECHNOL, DEPT MATH & COMP SCI, 5600 MB EINDHOVEN, NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 558卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：R3 / 235
相关论文
共 50 条
  • [1] Compositional verification of embedded real-time systems
    Foughali, Mohammed
    Hladik, Pierre-Emmanuel
    Zuepke, Alexander
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2023, 142
  • [2] COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME DISTRIBUTED SYSTEMS
    SHYAMASUNDAR, RK
    LIU, LY
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 75 - 93
  • [3] A new approach to the specification and verification of real-time systems
    Logothetis, G
    Schneider, K
    [J]. 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, : 171 - 180
  • [4] Compositional verification of real-time systems using Ecdar
    Alexandre David
    Kim. G. Larsen
    Axel Legay
    Mikael H. Møller
    Ulrik Nyman
    Anders P. Ravn
    Arne Skou
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2012, 14 (6) : 703 - 720
  • [5] Compositional Verification for Hierarchical Scheduling of Real-Time Systems
    Carnevali, Laura
    Pinzuti, Alessandro
    Vicario, Enrico
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (05) : 638 - 657
  • [6] Verification Architectures: Compositional Reasoning for Real-Time Systems
    Faber, Johannes
    [J]. INTEGRATED FORMAL METHODS, 2010, 6396 : 136 - 151
  • [7] A Framework for Specification and Verification of Timeout Models of Real-Time Systems
    Misra, Janardan
    [J]. CONTEMPORARY COMPUTING, 2011, 168 : 146 - 157
  • [8] PARAGON: A paradigm for the specification, verification and testing of real-time systems
    BenAbdallah, H
    Clarke, D
    Lee, I
    Sokolsky, O
    [J]. 1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 2, 1997, : 469 - 488
  • [9] Compositional verification of timing constraints for embedded real-time systems
    Guo, Hui
    Lee, Woo Jin
    [J]. PROCEEDINGS OF THE 6TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE, 2007, : 571 - +
  • [10] Incremental verification of architecture specification language for real-time systems
    Tsai, JJP
    Sistla, AP
    Sahay, A
    Paul, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (03) : 347 - 360
12345