Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition

DOI10.1007/11901914_15MaRDI QIDQ3522908zbMATH OpenOpenAlexFDO

Authors Wonhong Nam, Rajeev Alur

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://repository.upenn.edu/cgi/viewcontent.cgi?article=1536&context=cis_papers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic symbolic compositional verification by learning assumptions
• Computer Aided Verification
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• scientific article; zbMATH DE number 1956591
• Automated circular assume-guarantee reasoning

Cited in

(14)

• Computer Aided Verification
• Automated circular assume-guarantee reasoning
• scientific article; zbMATH DE number 1956591 (Why is no real title available?)
• Verification of asynchronous systems with an unspecified component
• Automatic symbolic compositional verification by learning assumptions
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• Verification of evolving software via component substitutability analysis
• Concurrent Kleene algebra with observations: from hypotheses to completeness
• Query learning of derived \(\omega\)-tree languages in polynomial time
• A weakness measure for GR(1) formulae
• A weakness measure for GR(1) formulae
• Automated circular assume-guarantee reasoning with N-way decomposition and alphabet refinement
• Polynomial identification of \(\omega \)-automata
• Assume-guarantee reasoning with local specifications

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522908)