Assume-guarantee algorithms for automatic detection of software failures

DOI10.1007/3-540-47884-1_6MaRDI QIDQ4737554zbMATH OpenFDO

Authors Mohammad Zulkernine, Rudolph E. Seviora

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350089.htm

zbMATH Keywords

applied formal methodscompositionalityfailure detectiononline monitoringSoftware reliability

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The failure detector abstraction
• Automatic Classification of Eventual Failure Detectors
• Automated Assume-Guarantee Reasoning by Abstraction Refinement
• Compositional failure detection in structured transition systems
• Automated Assumption Generation for Compositional Verification

Cited in

(1)

• scientific article; zbMATH DE number 1569134 (Why is no real title available?)

This page was built for publication: Assume-guarantee algorithms for automatic detection of software failures

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