Modular abstractions for verifying real-time distributed systems

被引：0
|
作者：
机构：
[1] De-Leon, Hana
[2] Grumberg, Orna
来源：
De-Leon, Hana | 1600年 / 02期
关键词：
Model checking - Modular abstractions - Real time distributed systems - Temporal logic - Verification methodology;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] MODULAR ABSTRACTIONS FOR VERIFYING REAL-TIME DISTRIBUTED SYSTEMS
    DELEON, H
    GRUMBERG, O
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (01) : 7 - 43
  • [2] Verifying automata specification of distributed probabilistic real-time systems
    Luo Tiegeng
    Chen Huowang
    Wang Bingshan
    Wang Ji
    Gong Zhenghu
    Qi Zhichang
    Journal of Computer Science and Technology, 1998, 13 (6) : 588 - 596
  • [3] A modular approach to programming distributed real-time systems
    Ren, SP
    Agha, GA
    Saito, M
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 36 (01) : 4 - 12
  • [4] Influence of different abstractions on the performance analysis of distributed hard real-time systems
    Perathoner, Simon
    Wandeler, Ernesto
    Thiele, Lothar
    Hamann, Arne
    Schliecker, Simon
    Henia, Rafik
    Racu, Razvan
    Ernst, Rolf
    Gonzalez Harbour, Michael
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2009, 13 (1-2) : 27 - 49
  • [5] Influence of different abstractions on the performance analysis of distributed hard real-time systems
    Simon Perathoner
    Ernesto Wandeler
    Lothar Thiele
    Arne Hamann
    Simon Schliecker
    Rafik Henia
    Razvan Racu
    Rolf Ernst
    Michael González Harbour
    Design Automation for Embedded Systems, 2009, 13 : 27 - 49
  • [6] Modular Design and Verification of Distributed Adaptive Real-Time Systems
    Goethel, Thomas
    Bartels, Bjoern
    NATURE OF COMPUTATION AND COMMUNICATION, 2015, 144 : 3 - 12
  • [7] Logic Based Abstractions of Real-Time Systems
    Roberto Barbuti
    Nicoletta De Francesco
    Antonella Santone
    Gigiola Vaglini
    Formal Methods in System Design, 2000, 17 : 201 - 220
  • [8] Logic based abstractions of real-time systems
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    FORMAL METHODS IN SYSTEM DESIGN, 2000, 17 (03) : 201 - 220
  • [9] Formally specifying and verifying real-time systems
    Kemmerer, RA
    Kolano, PZ
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 112 - 120
  • [10] SPECIFYING AND VERIFYING REQUIREMENTS OF REAL-TIME SYSTEMS
    RAVN, AP
    RISCHEL, H
    HANSEN, KM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 41 - 55
12345