Automated Assumption Generation for Compositional Verification
From MaRDI portal
Recommendations
Cited in
(19)- An explanatory presentation of composition rules for assumption- commitment specifications
- Automated circular assume-guarantee reasoning
- Verification of asynchronous systems with an unspecified component
- To compose, or not to compose, that is the question: an analysis of compositional state space generation
- Building verification condition generators by compositional extension
- A Minimized Assumption Generation Method for Component-Based Software Verification
- Transformations for compositional verification of assumption-commitment properties
- Automated Assume-Guarantee Reasoning by Abstraction Refinement
- Automatic Synthesis of Assumptions for Compositional Model Checking
- Learning Minimal Separating DFA’s for Compositional Verification
- scientific article; zbMATH DE number 1956591 (Why is no real title available?)
- scientific article; zbMATH DE number 2086947 (Why is no real title available?)
- Automated circular assume-guarantee reasoning
- Computer Aided Verification
- Computer Aided Verification
- Automatically inferring loop invariants via algorithmic learning
- Automated assumption generation for compositional verification
- Verification of evolving software via component substitutability analysis
- Automatic symbolic compositional verification by learning assumptions
This page was built for publication: Automated Assumption Generation for Compositional Verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429334)
