Compositional Verification and Specification of Refinement for Reactive Systems in a Dense Time Temporal Logic

被引：0
|
作者：
Cau, A.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | 1996年 / 60期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Verification criteria for a compositional model for reactive systems
    Bellini, P
    Bruno, MA
    Nesi, P
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 25 - 35
  • [22] A graphical environment for the specification and verification of reactive systems
    Bhattacharjee, AK
    Dhodapkar, SD
    Seshia, S
    Shyamasundar, RK
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 431 - 444
  • [23] PERTS: an environment for specification and verification of reactive systems
    Bhattacharjee, AK
    Dhodapkar, SD
    Shyamasundar, RK
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2001, 71 (03) : 299 - 310
  • [24] A Method on Specification and Verification of Component Interaction in Real-Time Reactive Systems
    Jia, Yangli
    Li, Zhoujun
    Zhang, Zhenling
    Xie, Shengxian
    2008 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING, 2008, : 388 - +
  • [25] Formal verification of embedded logic controller specification with computer deduction in temporal logic
    Grobelna, Iwona
    PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (12A): : 47 - 50
  • [26] 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 - +
  • [27] SIGNIFICANT EVENT TEMPORAL LOGIC - A METHOD FOR PROTOCOL SPECIFICATION AND VERIFICATION
    VUONG, ST
    TSIKNIS, GK
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1995, 10 (01): : 41 - 49
  • [28] Temporal logic-based specification and verification of trust models
    Herrmann, Peter
    TRUST MANAGEMENT, PROCEEDINGS, 2006, 3986 : 105 - 119
  • [29] SPECIFICATION OF COMMUNICATION-SYSTEMS WITH TEMPORAL LOGIC
    ZHOU, CC
    SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1990, 33 (04): : 486 - 502
  • [30] Linear temporal logic with clocks for verification of real-time systems
    Li, Guang-Yuan
    Tang, Zhi-Song
    Ruan Jian Xue Bao/Journal of Software, 2002, 13 (01): : 33 - 41
12345