A Minimized Assumption Generation Method for Component-Based Software Verification

DOI10.1007/978-3-642-03466-4_18MaRDI QIDQ3393416zbMATH OpenOpenAlexFDO

Authors Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_18

zbMATH Keywords

assume-guarantee reasoninglearning algorithmminimal assumptionmodel checkingmodular verification

Mathematics Subject Classification ID

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

Recommendations

• Automated assumption generation for compositional verification
• Automated Assumption Generation for Compositional Verification
• scientific article; zbMATH DE number 1956591
• Automated Technology for Verification and Analysis
• Computer Aided Verification

This page was built for publication: A Minimized Assumption Generation Method for Component-Based Software Verification

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