The Industrial Success of Verification Tools Based on Stålmarck's Method
No abstract available.
Related papers
- A Generalization of Stålmarck's Method SAS 2012
- Symbolic Model Checking without BDDs TACAS 1999
- Practical Challenges for Industrial Formal Verification Tools CAV 1997
- Applying formal verification to microkernel IPC at meta CPP 2022
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software TOPLAS 2026
- ABC: An Academic Industrial-Strength Verification Tool CAV 2010
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- On Automation of CTL* Verification for Infinite-State Systems CAV 2015