Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
No abstract available.
Related papers
- Directed Reachability for Infinite-State Systems TACAS 2021
- Verification under TSO with an infinite Data Domain TACAS 2024
- Reachability Analysis of the Domain Name System POPL 2025
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- Infinite-State Liveness Checking with rlive CAV 2025
- Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory CAV 1998
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Parameterized Verification under TSO with Data Types TACAS 2023