Compatibility between shared variable valuations in timed automaton network model-checking

Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005

Volumn 2005, Issue , 2005, Pages

  Zhao, Jianhua ^a   Zhou, Xiuyi ^a   Li, Xuandong ^a   Zheng, Guoliang ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPATIBILITY; REACHABILITY ANALYSIS ALGORITHM; SPACE-EFFICIENCY; VARIABLE VALUATIONS;

ALGORITHMS; DATA STRUCTURES; INTERACTIVE COMPUTER SYSTEMS; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS;

AUTOMATA THEORY;

EID: 33746277588     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2005.146     Document Type: Conference Paper

References (11)

1. R. Alur and D.L. Dill, A theory of timed automata. In Theoretical Computer Science Page 183-235, volume 126, 1994,
2. The preliminary version appears in Proc. 17th ICALP, 1990, LNCS 443.
3. C.Daws, A.Olivero, S.Tripakis, and S.Yovine. The tool Kronos. In DIMACS Workshop on Verification and Control of Hybrid Systems, LNCS 1066. Springer-Verlag, October 1995.
4. Gerd Behrmann, Alexandre David, Kim G. Larsen, Oliver Miller, Paul Pettersson, and Wang Yi. Uppaal - Present and Future. In Proceedings of the 40th IEEE Conference on Decision and Control (CDC'2001), Orlando, Florida, USA, IEEE Computer Society Press, December, 2001.
5. Farn Wang. RED: Model-Checker for Timed Automata with Clock-Restriction Diagram. In proceedings of Workshop on Real-Time Tools, Aalborg University, Denmark, August 20, 2001.
6. Johan Bengtsson and Wang Yi. Timed Automata: Semantics, Algorithms and Tools. In Lecture Notes on Concurrency and Petri Nets, Edited by W. Reisig and G. Hozenberg, LNCS 3098, Springer-Verlag, 2004
7. 20 states and beyond. In Information and Computation, 98:142-170, 1992.
8. P.R. D'Argenio, J.-P. Katoen, T. Ruys, and J. Tretmans. Modeling and Verifying a Bounded Retransmission Protocol. In Proceedings of COST 247, International Workshop on Applied Formal Methods in System Design, Maribor, Slovenia, June, 1996.
9. Also appeared as Technical Report CTTT 96-22, University of Twente, July 1996.
10. Klaus Havelund, Arne Skou, Kim G. Larsen and Kristian Lund. Formal Modelling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using Uppaal. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 2-13. San Francisco, California, USA, 3-5 December 1997.
11. G.J. Holzmann. The Spin Model Checker, in IEEE Trans on software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.