Partial-order Reduction Techniques for Real-time Model Checking-Reference-Cited by-同舟云学术

Partial-order Reduction Techniques for Real-time Model Checking

Published:1998-05 Issue:5 Volume:10 Page:469-482
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Dams Dennis¹,Gerth Rob²,Knaack Bart³,Kuiper Ruurd¹

Affiliation:

1. Eindhoven University of Technology, The Netherlands, , , , , , NL

2. Strategic CAD Laboratories, Intel Micro Processor Products Group, Hillsboro, OR, USA, , , , , , US

3. Lucent Technologies, Hilversum, The Netherlands, , , , , , NL

Abstract

Abstract. A new notion, covering, generalising independence is introduced. It enables improved effects of partial-order reduction techniques when applied to real-time systems. Furthermore, we formulate a number of locally checkable conditions for covering that can be used as the basis for a practical algorithm. Correctness is proven with respect to a chosen discretisation method.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s001650050028.pdf

Reference9 articles.

1. Model-checking in dense real-time;Alur R.;Information and Computation,1993

2. A theory of timed automata;Al;Journal of Theoretical Computer Science,1994

3. A partial order approach to branching time logic model checking

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

2. Reachability in timed automata;ACM SIGLOG News;2022-07

3. Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?;Lecture Notes in Computer Science;2022

4. Urgent Partial Order Reduction for Extended Timed Automata;Automated Technology for Verification and Analysis;2020

5. Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways;Systems;2018-01-12