Linear parametric model checking of timed automata
Top Cited Papers
- 1 July 2002
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 52-53, 183-220
- https://doi.org/10.1016/s1567-8326(02)00037-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Application of parametric model checking - the Root Contention protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention ProtocolFormal Aspects of Computing, 2003
- A theory of timed automataPublished by Elsevier ,2002
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- Time-constrained automataPublished by Springer Nature ,1991
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987