The STATEMATE Verification Environment - Making It Real
No abstract available.
Related papers
- Real-Time Verification of Statemate Designs CAV 1998
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- A real world object modeling method for creating simulation environment of real-time systems OOPSLA 2000
- R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software CAV 2023
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- MoGym: Using Formal Models for Training and Verifying Decision-making Agents CAV 2022
- Null dereference verification via over-approximated weakest pre-conditions analysis OOPSLA 2011
- Performal: Formal Verification of Latency Properties for Distributed Systems PLDI 2023