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 条
  • [41] A decidable dense branching-time temporal logic
    La Torre, S
    Napoli, M
    FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2000, 1974 : 139 - 150
  • [42] Specification and formal verification of temporal properties of production automation systems
    Flake, Stephan
    Müller, Wolfgang
    Pape, Ulrich
    Ruf, Jürgen
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3147 : 206 - 226
  • [43] Specification and formal verification of temporal properties of production automation systems
    Flake, S
    Müller, W
    Pape, U
    Ruf, J
    INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING, 2004, 3147 : 206 - 226
  • [44] Specification and Verification of Spatio-Temporal Properties of Mobile Systems
    Schaefer, Andreas
    IT-INFORMATION TECHNOLOGY, 2008, 50 (05): : 324 - 326
  • [45] An Interval Temporal Logic for Time Series Specification and Data Integration
    Kosiuczenko, Piotr
    REMOTE SENSING, 2021, 13 (12)
  • [46] Runtime Verification for Linear-Time Temporal Logic
    Leucker, Martin
    ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (SETSS 2016), 2017, 10215 : 151 - 194
  • [47] LTLAS: a language based on temporal logic for agents systems specification
    Mendoza, NF
    Corchado, FFR
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 242 - 249
  • [48] Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
    Graeme Smith
    John Derrick
    Formal Methods in System Design, 2001, 18 : 249 - 284
  • [49] Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
    Dutreix, Maxence
    Coogan, Samuel
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (07) : 2975 - 2990
  • [50] Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP
    Smith, G
    Derrick, J
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 249 - 284
12345