IF: A Validation Environment for Timed Asynchronous Systems
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 543-547
- https://doi.org/10.1007/10722167_41
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Verification and test generation for the SSCOP protocolScience of Computer Programming, 2000
- Model Checking SDL with SpinPublished by Springer Nature ,2000
- Using Static Analysis to Improve Automatic Test GenerationPublished by Springer Nature ,2000
- State Space Reduction Based on Live Variables AnalysisPublished by Springer Nature ,1999
- If: An Intermediate Representation and Validation Environment for Timed Asynchronous SystemsPublished by Springer Nature ,1999
- Modeling Urgency in Timed SystemsPublished by Springer Nature ,1998
- Computing abstractions of infinite state systems compositionally and automaticallyPublished by Springer Nature ,1998
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Nature ,1998
- HyTech: A model checker for hybrid systemsPublished by Springer Nature ,1997
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996