Context-Sensitive Multivariant Assertion Checking in Modular Programs
From MaRDI portal
Publication:5387906
DOI10.1007/11916277_27zbMATH Open1165.68411OpenAlexW1557126436MaRDI QIDQ5387906FDOQ5387906
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/
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
Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (8)
- An overview of Ciao and its design philosophy
- Assertion Checking Unified
- Modular inference of subprogram contracts for safety checking
- VeriFly: On-the-fly Assertion Checking via Incrementality
- Sufficient Preconditions for Modular Assertion Checking
- Title not available (Why is that?)
- Title not available (Why is that?)
- Integrated Formal Methods
Uses Software
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)
