Verification with Real-Time COSPAN
No abstract available.
Related papers
- Verification of Real-Time Systems Using PVS CAV 1993
- Real-Time Verification of Statemate Designs CAV 1998
- Real-Time System Verification using P/T Nets CAV 1994
- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems TACAS 2000
- Formal Design and Verification of Real-Time Embedded Software APLAS 2004
- Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol CAV 1999
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007
- PRISM 4.0: Verification of Probabilistic Real-Time Systems CAV 2011