VeriAbs: Verification by Abstraction (Competition Contribution)
No abstract available.
Related papers
- VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution) TACAS 2018
- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) TACAS 2020
- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution) TACAS 2021
- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) TACAS 2023
- UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution) TACAS 2013
- EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution) TACAS 2024
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- GACAL: Conjecture-Based Verification - (Competition Contribution) TACAS 2020