A tool for the syntactic detection of zeno-timelocks in timed automata

Electronic Notes in Theoretical Computer Science

Volumn 139, Issue 1, 2005, Pages 25-47

  Bowman, Howard ^a   Gomez, Rodolfo ^a   Su, Li ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Timed Automata; UPPAAL; Zeno timelocks

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SYNTACTICS;

TIMED AUTOMATA; UPPAAL; ZERO-TIMELOCKS;

AUTOMATA THEORY;

EID: 27644452781     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.09.006     Document Type: Conference Paper

References (10)

1. S. Bornot, and J. Sifakis On the composition of hybrid systems Hybrid Systems: Computation and Control LNCS 1386 1998 49 63
2. H. Bowman Modelling timeouts without timelocks ARTS'99, Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop LNCS 1601 1999 335 353
3. Bowman, H., Time and action lock freedom properties for timed automata, in: S. K. M. Kim, B. Chin and D. Lee, editors, FORTE 2001, Formal Techniques for Networked and Distributed Systems (2001), pp. 119-134
4. H. Bowman, G. Faconti, J.-P. Katoen, D. Latella, and M. Massink Automatic verification of a lip synchronisation algorith (Preliminary Version)m using UPPAAL Formal Aspects of Computing 10 1998 550 575
5. Bowman, H., R. Gomez and L. Su, How to stop time stopping (preliminary version), Technical Report 9-04, Computing Laboratory, University of Kent, UK (2004)
6. R. Milner Communication and Concurrency 1989 Prentice-Hall
7. P. Pettersson, and K.G. Larsen UPPAAL2K: Small Tutorial Bulletin of the European Association for Theoretical Computer Science 70 2000 40 44
8. W. Stallings Data & Computer Communications 6th. edition 2000 Prentice Hall
9. S. Tripakis Verifying progress in timed systems ARTS'99, Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop LNCS 1601 1999
10. S. Yovine Kronos: A verification tool for real-time systems Springer International Journal of Software Tools for Technology Transfer 1997