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 条
  • [31] Real-time Distributed MIMO Systems
    Hamed, Ezzeldin
    Rahul, Hariharan
    Abdelghany, Mohammed A.
    Katabi, Dina
    PROCEEDINGS OF THE 2016 ACM CONFERENCE ON SPECIAL INTEREST GROUP ON DATA COMMUNICATION (SIGCOMM '16), 2016, : 412 - 425
  • [32] Real-time performance estimation for dynamic, distributed real-time systems
    Huh, EN
    Welch, LR
    Mun, Y
    COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS, 2002, 2331 : 1071 - 1079
  • [33] Real-time commit protocol for distributed real-time database systems
    Yoon, Y
    Han, M
    Cho, J
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 221 - 225
  • [34] USING HIGHER-ORDER LOGIC FOR MODULAR SPECIFICATION OF REAL-TIME DISTRIBUTED SYSTEMS
    MACEWEN, GH
    SKILLICORN, DB
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 36 - 66
  • [35] Automatic abstractions of real-time specifications
    Brockmeyer, M
    FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
  • [36] Specifying and Verifying Real-Time Self-Adaptive Systems
    Camilli, Matteo
    Gargantini, Angelo
    Scandurra, Patrizia
    2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 303 - 313
  • [37] Towards Verifying Safety Properties of Real-Time Probabilistic Systems
    Han, Fenglin
    Blech, Jan Olaf
    Herrmann, Peter
    Schmidt, Heinz
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 1 - 15
  • [38] A survey on temporal logics for specifying and verifying real-time systems
    Konur, Savas
    FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (03) : 370 - 403
  • [39] VERIFYING PROPERTIES OF HMS MACHINE SPECIFICATIONS OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    IYER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 421 - 431
  • [40] A TRANSFORMATIONAL METHOD FOR VERIFYING SAFETY PROPERTIES IN REAL-TIME SYSTEMS
    FRANKLIN, MK
    GABRIELIAN, A
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 112 - 123
12345