Automated Assumption Generation for Compositional Verification
Abstract elided by the publisher.
Related papers
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026
- Symbolic Compositional Verification by Learning Assumptions CAV 2005
- Learning Assumptions for Compositional Verification TACAS 2003
- Highly Automated Formal Proofs over Memory Usage of Assembly Code TACAS 2020
- Modular and automated type-soundness verification for language extensions ICFP 2013
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Compositional Verification of Smart Contracts Through Communication Abstraction SAS 2021
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems POPL 2015