Learning-Based Assume-Guarantee Regression Verification
No abstract available.
Related papers
- Automated Assume-Guarantee Reasoning through Implicit Learning CAV 2010
- Assume, Guarantee or Repair TACAS 2020
- Assume-Guarantee Verification for Probabilistic Systems TACAS 2010
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Regression-Free Synthesis for Concurrency CAV 2014
- Regression Verification: Proving the Equivalence of Similar Programs CAV 2009
- Regression Verification for Multi-threaded Programs VMCAI 2012
- To be precise: regression aware debugging OOPSLA 2016