Verification Support Environment
Abstract elided by the publisher.
Related papers
- XEVE, an ESTEREL Verification Environment CAV 1998
- Environment Abstraction for Parameterized Verification VMCAI 2006
- The STATEMATE Verification Environment - Making It Real CAV 2000
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications CAV 1992
- The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification TACAS 2014
- Integrated Environment for Diagnosing Verification Errors TACAS 2016
- Synthesizing Environment Invariants for Modular Hardware Verification VMCAI 2020
- An Automated Based Verification Environment for Mobile Processes TACAS 1997