Context-Sensitive Multivariant Assertion Checking in Modular Programs

DOI10.1007/11916277_27MaRDI QIDQ5387906zbMATHOpenAlexFDO

Authors Paweł Pietrzak, Jesús Correas, Germán Puebla, Manuel Hermenegildo

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/14338/

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Sufficient Preconditions for Modular Assertion Checking
• Modular verification for shared-variable concurrent programs
• Program Development in Computational Logic
• Modular Verification of Recursive Programs
• Modular verification of programs with effects and effects handlers
• Modular verification of multithreaded programs
• scientific article; zbMATH DE number 1487634
• Modular verification of higher-order functional programs

Cited in

(9)

• Multivariant assertion-based guidance in abstract interpretation
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Modular inference of subprogram contracts for safety checking
• Assertion Checking Unified
• Integrated Formal Methods
• An overview of Ciao and its design philosophy
• Sufficient Preconditions for Modular Assertion Checking
• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)

Describes a project that uses

Uses Software

• CiaoPP

This page was built for publication: Context-Sensitive Multivariant Assertion Checking in Modular Programs

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