A Unifying Model Checking Approach for Safety Properties of Parameterized Systems
No abstract available.
Related papers
- Parameterized Synthesis with Safety Properties APLAS 2020
- Parameterized Model Checking of Token-Passing Systems VMCAI 2014
- Unifying type checking and property checking for low-level code POPL 2009
- A Comprehensive Specification and Verification of the L4 Microkernel API TACAS 2024
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Regular Abstractions for Array Systems POPL 2024
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019
- Parameterized verification of transactional memories PLDI 2010