Assume, Guarantee or Repair

DOI10.1007/978-3-030-45190-5_12OpenAlexW3016999940MaRDI QIDQ5039510

Sarai Sheinvald, Hadar Frenkel, Orna Grumberg, Corina S. Păsăreanu

Publication date: 13 October 2022

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45190-5_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Automated program repair using formal verification techniques ⋮ Inferring Symbolic Automata ⋮ Toward a theory of program repair

Uses Software

• z3

Cites Work

• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• Automated assumption generation for compositional verification
• Learning regular sets from queries and counterexamples
• Maximal specification synthesis
• Automated Inference of Library Specifications for Source-Sink Property Verification
• Learning Minimal Separating DFA’s for Compositional Verification
• Proofs of Networks of Processes
• Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement
• Automated Circular Assume-Guarantee Reasoning
• Synthesis of Circular Compositional Program Proofs via Abduction
• Refining Interface Alphabets for Compositional Verification
• Optimized L*-Based Assume-Guarantee Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Assume, Guarantee or Repair