Computing Abstractions of Infinite State Systems Compositionally and Automatically
No abstract available.
Related papers
- Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications CAV 2025
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024
- Localized Attractor Computations for Infinite-State Games CAV 2024
- Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory CAV 1998
- Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction VMCAI 2015
- Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems TACAS 2016
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving CAV 1995
- Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis CAV 1999