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 条
  • [41] A survey on temporal logics for specifying and verifying real-time systems
    Savas Konur
    Frontiers of Computer Science, 2013, 7 : 370 - 403
  • [42] Verifying Automata Specification ofDistributed Probabilistic Real-Time Systems
    罗铁庚
    陈火旺
    王兵山
    王戟
    龚正虎
    齐治昌
    JournalofComputerScienceandTechnology, 1998, (06) : 588 - 596
  • [43] Timed behavior trees and their application to verifying real-time systems
    Grunske, Lars
    Winter, Kirsten
    Colvin, Robert
    2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 211 - +
  • [44] Real-Time Remote Access Laboratory With Distributed and Modular Design
    Maiti, Ananda
    Kist, Alexander A.
    Maxwell, Andrew D.
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2015, 62 (06) : 3607 - 3618
  • [45] Formula based abstractions of transition systems for real-time model checking
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    FM'99-FORMAL METHODS, 1999, 1708 : 289 - 306
  • [46] Verifying Real-Time Systems using Explicit-time Description Methods
    Wang, Hao
    MacCaull, Wendy
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (13): : 67 - 78
  • [47] Verifying a Real-Time Language with Constraints
    Bart, Anicet
    Truchet, Charlotte
    Monfroy, Eric
    2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015), 2015, : 844 - 851
  • [48] Fine real-time processing in distributed systems
    Yakoh, T
    Sato, H
    Aoyama, T
    2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 2000, : 135 - 142
  • [49] Real-time coordination in distributed multimedia systems
    Limniotes, TA
    Papadopoulos, GA
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 685 - 691
  • [50] Load profiling in distributed real-time systems
    Bestavros, A
    INFORMATION SCIENCES, 1997, 101 (1-2) : 1 - 27
12345