Structural Counter Abstraction
No abstract available.
Related papers
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Towards Fully Abstract Semantics for Local Variables POPL 1988
- Verification of Gap-Order Constraint Abstractions of Counter Systems VMCAI 2012
- Liveness with (0, 1, infty)-Counter Abstraction CAV 2002
- Symbolic Counter Abstraction for Concurrent Software CAV 2009
- Counter-Example Guided Predicate Abstraction of Hybrid Systems TACAS 2003
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs TACAS 2001
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015