A specification logic for exceptions and beyond

DOI10.1007/978-3-642-15643-4_14MaRDI QIDQ4931291zbMATHOpenAlexFDO

Authors Cristian Gherghina, Cristina David

Publication date 4 October 2010

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3943002
• Towards Automatic Exception Safety Verification
• scientific article; zbMATH DE number 3872656
• Program verification for exception handling on active objects using futures
• Exception Handling: Formal Specification and Systematic Program Construction

Cited in

(11)

• Exception analysis for non-strict languages
• scientific article; zbMATH DE number 6991660 (Why is no real title available?)
• A general method of low-level exception reporting and handling using system predicate classes
• scientific article; zbMATH DE number 1693457 (Why is no real title available?)
• scientific article; zbMATH DE number 1693464 (Why is no real title available?)
• scientific article; zbMATH DE number 1693465 (Why is no real title available?)
• Exceptions for algebraic specifications: On the meaning of ``but
• Program verification for exception handling on active objects using futures
• Parallel Processing and Applied Mathematics
• Towards Automatic Exception Safety Verification
• scientific article; zbMATH DE number 3980458 (Why is no real title available?)

This page was built for publication: A specification logic for exceptions and beyond

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