Automated Assumption Generation for Compositional Verification

DOI10.1007/978-3-540-73368-3_45zbMath1135.68473OpenAlexW1501747543MaRDI QIDQ5429334

Zhaohui Fu, K. L. McMillan, Anubhav Gupta

Publication date: 29 November 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_45

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Automated Assume-Guarantee Reasoning by Abstraction Refinement ⋮ Verification of asynchronous systems with an unspecified component ⋮ Verification of evolving software via component substitutability analysis ⋮ Automatic symbolic compositional verification by learning assumptions ⋮ Automatically inferring loop invariants via algorithmic learning ⋮ To compose, or not to compose, that is the question: an analysis of compositional state space generation ⋮ Learning Minimal Separating DFA’s for Compositional Verification

This page was built for publication: Automated Assumption Generation for Compositional Verification