Specification and automated verification of real-time behaviour - a case study

被引：0
|
作者：
Kristensen, C.H. [1 ]
Andersen, J.H. [1 ]
Skou, A. [1 ]
机构：
[1] Aalborg Univ, Aalborg, Denmark
来源：
Annual Reviews in Control | 1996年 / 20卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：55 / 70
相关论文
共 50 条
  • [1] Specification and automated verification of atomic concurrent real-time transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 557 - 589
  • [2] Specification and automated verification of atomic concurrent real-time transactions
    Simin Cai
    Barbara Gallina
    Dag Nyström
    Cristina Seceleanu
    Software and Systems Modeling, 2021, 20 : 557 - 589
  • [3] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [4] A new approach to the specification and verification of real-time systems
    Logothetis, G
    Schneider, K
    13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, : 171 - 180
  • [5] A VERIFICATION METHODOLOGY FOR REAL-TIME SUPERVISORY CONTROL SPECIFICATION
    SHANMUGHAM, SG
    ROBERTS, CA
    COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 29 : 705 - 709
  • [6] Real-time hardware specification and verification by using MVC
    Li, XS
    Wang, JA
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 18 - 23
  • [7] Fully automated real-time recipe verification
    Barlovic, Robert
    Stehli, Marcel
    2021 32ND ANNUAL SEMI ADVANCED SEMICONDUCTOR MANUFACTURING CONFERENCE (ASMC), 2021,
  • [8] A Framework for Specification and Verification of Timeout Models of Real-Time Systems
    Misra, Janardan
    CONTEMPORARY COMPUTING, 2011, 168 : 146 - 157
  • [9] SPECIFICATION AND VERIFICATION OF REAL-TIME BEHAVIOR USING Z AND RTL
    FIDGE, CJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 393 - 409
  • [10] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
12345