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 条
  • [21] A property specification pattern catalog for real-time system verification with UPPAAL
    Vogel, Thomas
    Carwehl, Marc
    Rodrigues, Genaina Nunes
    Grunske, Lars
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 154
  • [22] Specification and verification of a real-time field bus with formal description languages
    Marino, P
    Poza, F
    Dominguez, M
    Nogueira, J
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 415 - 429
  • [23] A Specification and Verification Method on Component Composition of Real-Time Reactive Systems
    Jia, Yangli
    Li, Zhoujun
    Du, Xutao
    Zhang, Zhenling
    APTC 2008: THIRD ASIA-PACIFIC TRUSTED INFRASTRUCTURE TECHNOLOGIES CONFERENCE, PROCEEDINGS, 2008, : 142 - +
  • [24] THE REAL-TIME VERIFICATION
    PELTOLA, S
    MEDICAL PHYSICS, 1988, 15 (05) : 799 - 799
  • [25] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [26] Real-time specification patterns
    Konrad, S
    Cheng, BHC
    ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 372 - 381
  • [27] A real-time specification language
    do Amaral, FN
    Haeusler, EH
    Endler, M
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 194 - 201
  • [28] Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method
    Nakamura, Masaki
    Higashi, Shuki
    Sakakibara, Kazutoshi
    Ogata, Kazuhiro
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2022, E105A (05) : 823 - 832
  • [29] Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems
    Barbosa, Raul
    Karlsson, Johan
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 192 - 199
  • [30] A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
    Regnier, Paul
    Lima, George
    Andrade, Aline
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 : 221 - 238
12345