Bounds2: A Tool for Compositional Multi-parametrised Verification
No abstract available.
Related papers
- AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks CAV 2020
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Parametrised Verification of Intel-x86 Programs POPL 2026
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Gillian, Part II: Real-World Verification for JavaScript and C CAV 2021
- D-Finder: A Tool for Compositional Deadlock Detection and Verification CAV 2009
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016