Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
No abstract available.
Related papers
- Assume, Guarantee or Repair TACAS 2020
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams CAV 2001
- Modular code generation from synchronous block diagrams: modularity vs. code size POPL 2009
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Optimized L*-Based Assume-Guarantee Reasoning TACAS 2007
- Automated Assume-Guarantee Reasoning by Abstraction Refinement CAV 2008