UPPAAL — a tool suite for automatic verification of real-time systems
- 1 January 1996
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 232-243
- https://doi.org/10.1007/bfb0020949
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Compositional and symbolic model-checking of real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Diagnostic model-checking for real-time systemsPublished by Springer Science and Business Media LLC ,1996
- Model-checking for real-time systemsLecture Notes in Computer Science, 1995
- Compositional model checking of real time systemsLecture Notes in Computer Science, 1995
- Automated analysis of an audio control protocolLecture Notes in Computer Science, 1995
- Using abstractions for the verification of linear hybrid systemsLecture Notes in Computer Science, 1994
- Verification of real-time systems using PVSLecture Notes in Computer Science, 1993
- An efficient algorithm for minimizing real-time transition systemsLecture Notes in Computer Science, 1993
- An old-fashioned recipe for real timePublished by Springer Science and Business Media LLC ,1992