Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness-Reference-Cited by-同舟云学术

Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness

Published:1999 Issue: Volume: Page:40-56
ISSN:0302-9743
Container-title:Theoretical and Practical Aspects of SPIN Model Checking
language:
Short-container-title:

Author:

Bošnački Dragan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48234-2_4

Reference16 articles.

1. Lect Notes Comput Sci;J. Bengtsson,1998

2. Bo-sna-cki, D., Dams, D., Integrating Real Time in Spin: a Prototype Implementation, FORTE/PSTV’98, Kluwer, pp. 423–439, 1998

3. Bouajjani, A., Tripakis, S., Yovine, S., On-the-Fly Symbolic Model-Checking for Real-Time Systems, In Proc. of the 18th IEEE Real-Time Systems Symposium, pp. 232–243, IEEE, 1997 56 Dragan Bo-sna-cki

4. Clarke, E., Emerson, E., Sistla, A., Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, 8(2), pp. 244–263, 1986

5. Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M., Memory Efficient Al-gorithms for the Verification of Temporal Properties, Formal Methods in System DesignI, pp. 275–288, 1992

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

1. Translating Basic Metric Temporal Logic Formulas into Promela;Lecture Notes in Electrical Engineering;2016

2. On Combining Partial Order Reduction with Fairness Assumptions;Formal Methods: Applications and Technology;2007

3. Using Fairness to Make Abstractions Work;Model Checking Software;2004

4. A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness;Model Checking Software;2003