Deny-Guarantee Reasoning
Abstract elided by the publisher.
Related papers
- Functional geometry and the Traité de Lutherie: functional pearl ICFP 2013
- HALO: post-link heap-layout optimisation CGO 2020
- Optimized L*-Based Assume-Guarantee Reasoning TACAS 2007
- Explicit Stabilisation for Modular Rely-Guarantee Reasoning ESOP 2010
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008
- Automated Assume-Guarantee Reasoning for Simulation Conformance CAV 2005
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning ESOP 2007
- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams TACAS 2001