Partial order reductions for timed systems

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

Volumn 1466, Issue , 1998, Pages 485-500

  Bengtsson, Johan ^a   Jonsson, Bengt ^a   Lilius, Johan ^b   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINERY; MODEL CHECKING; SEMANTICS; TIME SHARING SYSTEMS;

CLOCK SYNCHRONIZATION; EFFICIENT IMPLEMENTATION; INDEPENDENT TRANSITIONS; PARTIAL ORDER REDUCTIONS; PREDICATE TRANSFORMERS; RESYNCHRONIZATION; SYMBOLIC STATE; TIMED AUTOMATA;

CLOCKS;

EID: 84945943000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055643     Document Type: Conference Paper

References (21)

1. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Proc. of of International Colloquium on Algorithms, Languages and Programming, vol. 443 of LNCS, pp. 322-335. Springer Verlag, 1990.
2. B. Berthomieu and M. Diaz. Modelling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering,17(3): 259-273, 1991.
3. R. Bellman. Dynamic Programming. Princeton University Press, 1957.
4. J. Bengtsson, D. Griffioen, K. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an Audio Protocol with Bus Collision Using UPPAAL. In Proc. of 9th Int. Conf. on Computer Aided Verification, vol. 1102 of LNCS, pp. 244-256. Springer Verlag, 1996.
5. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL in 1995. In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1055 of Lecture Notes in Computer Science, pp. 431-434. Springer Verlag, 1996.
6. C. Daws, A. Olivero, S. TripaMs, and S. Yovine. The tool KRONOS. In Proc. of Workshop on Verification and Control of Hybrid Systems III, vol. 1066 of LNCS, pp. 208-219. Springer Verlag, 1995.
7. R. M. Fujimoto. Parallel discrete event simulation. Communications of the ACM, 33(10): 30-53, Oct. 1990.
8. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, vol. 1032 of LNCS. Springer Verlag, 1996.
9. P. Godefroid and P. Wolper. Using partial orders to improve automatic verification methods. In Proc. of Workshop on Computer Aided Verification, 1990.
10. T. A. Henzinger and P.-H. Ho. HyTech: The Cornell HYbrid TECHnology Tool. Proc. of Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995. BRICS report series NS-95-2.
11. G. J. Holzmann and D. A. Peled. An improvement in formal verification. In Proc. of the 7th International Conference on Formal Description Techniques, pp. 197-211, 1994.
12. F. Larsson, K. G. Larsen, P. Pettersson, and W. Yi. Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction. In Proc. of the 18th IEEE Real-Time Systems Symposium, pp. 14-24, December 1997.
13. K. G. Larsen, P. Pettersson, and W. Yi. Compositional and Symbolic Model-Checking of Real-Time Systems. In Proc. of the 16th IEEE Real-Time Systems Symposium, pp. 76-87, December 1995.
14. W. Overman. Verification of Concurrent Systems: Function and Timing. PhD thesis, UCLA, Aug. 1981.
15. F. Pagani. Partial orders and verification of real-time systems. In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 1135 of LNCS, pp. 327-346. Springer Verlag, 1996.
16. D. Peled. All from one, one for all, on model-checking using representatives. In Proc. of 5th Int. Conf. on Computer Aided Verification, vol. 697 of LNCS, pp. 409-423. Springer Verlag, 1993.
17. A. Valmari. Stubborn sets for reduced state space generation. In Advances in Petri Nets, vol. 483 of LNCS, pp. 491-515. Springer Verlag, 1990.
18. A. Valmari. On-the-fly verification with stubborn sets. In Proc. of 5th Int. Conf. on Computer Aided Verification, vol. 697 of LNCS, pp. 59-70, 1993.
19. W. Yi, P. Pettersson, and M. Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Proc. of the 7th International Conference on Formal Description Techniques, 1994.
20. T. Yoneda and H. Schlingloff. Efficient verification of parallel real-time systems. Journal of Formal Methods in System Design, 11(2): 187-215, 1997.
21. T. Yoneda, A. Shibayama, B.-H. Schlingloff, and E. M. Clarke. Efficient verification of parallel real-time systems. In Proc. of 5th Int. Conf. on Computer Aided Verification vol. 697 of LNCS, pp. 321-332. Springer Verlag, 1993.