Model Checking of Safety Properties
Abstract elided by the publisher.
Related papers
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems CAV 2001
- Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs CAV 1999
- Fair stateless model checking PLDI 2008
- Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation SAS 2002
- Model checking transactional memories PLDI 2008
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- Lazy abstraction POPL 2002
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019