Partial order reduction in presence of rendez-vous communications with unless constructs and weak fairness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1680, Issue , 1999, Pages 40-56

  Bošnački, Dragan ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FAIRNESS ALGORITHM; PARTIAL ORDER REDUCTIONS; PROMELA MODELS;

MODEL CHECKING;

EID: 84948145653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48234-2_4     Document Type: Conference Paper

References (16)

1. Bengtsson, J., Jonsson, B, Lilius, J., Yi, W., Partial Order Reductions for Timed Systems, CONCUR’98, LNCS 1466, pp. 485-501, 1998.
2. Bošnački, 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
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 Algorithms for the Verification of Temporal Properties, Formal Methods in System Design I, pp. 275-288, 1992
6. Dams, D., Gerth, R., Knaack, B., Kuiper, R., Partial-order Reduction Techniques for Real-time Model Checking, FMICS’98, CWI, pp. 157-170, 1998
7. Francez, N., Fairness, Springer, 1986
8. Godefroid, P., Partial Order Methods for the Verification of Concurrents Systems: An Approach to the State Space Explosion, LNCS 1032, Springer, 1996
9. Holzmann, G. J., Design and Validation of Communication Protocols, Prentice Hall, 1991. Also: http://netlib.bell-labs.com/netlib/spin/whatispin.html
10. Holzmann, G. J., Personal communication
11. Holzmann, G., Peled, D., An Improvement in Formal Verification, FORTE 1994, Bern, Switzerland, 1994.
12. Holzmann, G., Peled, D., Yannakakis. On Nested Depth First Search, Proc. of the 2nd Spin Workshop, Rutgers University, New Jersay, USA, 1996.
13. Pagani, F., Partial Orders and Verification of Real Time Systems, Formal Techniques in Real Time and Fault Tolerant Systems FTRTFT 96, LNCS, 1996
14. Peled, D., Combining Partial Order Reductions with On-the-Fly Model Checking, Computer Aided Verification 1994, LCNS 818, pp. 377-390, 1994.
15. Vardi, M., Wolper, P., Automata Theoretic Techniques for Modal Logics of Programs, Journal of Computer and System Science, 32(2), pp. 182-221, 1986
16. Willems, B., Wolper, P., Partial Order Models for Model Checking: From Linear to Branching Time, Proc. of 11 Symposium of Logics in Computer Science, LICS 96, New Brunswick, pp. 294-303, 1996