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 条
  • [31] Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
    Sprenger, Christoph
    Klenze, Tobias
    Eilers, Marco
    Wolf, Felix A.
    Muller, Peter
    Clochard, Martin
    Basin, David
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [32] A Compositional Approach to Reactive Games under Temporal Logic Specifications
    Kulkarni, Abhishek Ninad
    Fu, Jie
    2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 2356 - 2362
  • [33] Compositional verification of reactive systems specified by graph transformation
    Heckel, R
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 138 - 153
  • [34] Modified temporal logic for reactive systems
    Jia, Guoping
    Zheng, Guoliang
    Ruan Jian Xue Bao/Journal of Software, 1997, 8 (09): : 663 - 671
  • [35] Specification of communicating processes: temporal logic versus refusals-based refinement
    Lowe, Gavin
    FORMAL ASPECTS OF COMPUTING, 2008, 20 (03) : 277 - 294
  • [36] EXAMPLES OF A REAL-TIME TEMPORAL LOGIC SPECIFICATION
    KOYMANS, R
    DEROEVER, WP
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 231 - 252
  • [37] TOWARDS THE HIERARCHICAL, TEMPORAL LOGIC, SPECIFICATION OF CONCURRENT SYSTEMS
    BARRINGER, H
    KUIPER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 157 - 183
  • [38] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [39] Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
    Delzanno, Giorgio
    Etalle, Sandro
    Gabbrielli, Maurizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 225 - 226
  • [40] An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
    Izadi, Mohammad
    Rahimabadi, Ali Movaghar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 159 : 171 - 186
12345