Towards Automatic Exception Safety Verification

DOI10.1007/11813040_27MaRDI QIDQ3506875zbMATH OpenOpenAlexFDO

Authors H. James Hoover, Piotr Rudnicki, Xin Li

Publication date 17 June 2008

Published in FM 2006: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11813040_27

zbMATH Keywords

exceptionsmodel checkingstatic analysisverification

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

• Mathematics of Program Construction
• A specification logic for exceptions and beyond
• Verification rules for exception handling in Eiffel
• Correct and Robust Programs
• scientific article; zbMATH DE number 1693457

Cited in

(7)

• An abstract interpretation for estimating uncaught exceptions in Standard ML programs
• scientific article; zbMATH DE number 1693457 (Why is no real title available?)
• A specification logic for exceptions and beyond
• Mathematics of Program Construction
• Program verification for exception handling on active objects using futures
• An integrated approach to high integrity software verification
• Method for detecting exceptions in Windows applications

This page was built for publication: Towards Automatic Exception Safety Verification

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