Assertion Checking Unified

DOI10.1007/978-3-540-69738-1_26MaRDI QIDQ5452620zbMATH OpenOpenAlexFDO

Authors Sumit Gulwani, Ashish Tiwari

Publication date 4 April 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-69738-1_26

Mathematics Subject Classification ID

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

Recommendations

• Programming Languages and Systems
• Sufficient Preconditions for Modular Assertion Checking
• Verification, Model Checking, and Abstract Interpretation
• Context-Sensitive Multivariant Assertion Checking in Modular Programs
• Integrated Formal Methods

Cited in

(8)

• What's decidable about program verification modulo axioms?
• scientific article; zbMATH DE number 5734786 (Why is no real title available?)
• Programming Languages and Systems
• Modular inference of subprogram contracts for safety checking
• Invariant Checking for Programs with Procedure Calls
• Sufficient Preconditions for Modular Assertion Checking
• Context unification with one context variable
• Combining model checking and data-flow analysis

This page was built for publication: Assertion Checking Unified

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