Symbolic Compositional Verification by Learning Assumptions
Abstract elided by the publisher.
Related papers
- Learning Assumptions for Compositional Verification TACAS 2003
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems POPL 2015
- Ticc: A Tool for Interface Compatibility and Composition CAV 2006
- Automated Assumption Generation for Compositional Verification CAV 2007
- An L# Based Algorithm for Active Learning of Minimal Separating Automata CAV 2026
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026
- SAT-Based Compositional Verification Using Lazy Learning CAV 2007