Automated Circular Assume Guarantee Reasoning
Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional techniques have gained significant successes following a breakthrough in the ability to automate assume guarantee reasoning. However, automation is still restricted to simple acyclic assume guarantee rules.
FM