Environment Abstraction for Parameterized Verification
No abstract available.
Related papers
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) CAV 1996
- Parameterized Verification under TSO with Data Types TACAS 2023
- Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks CAV 2025
- PyLTA: A Verification Tool for Parameterized Distributed Algorithms TACAS 2023
- Mechanizing the CMP Abstraction for Parameterized Verification OOPSLA 2024
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026