Doomed program points

DOI10.1007/s10703-010-0102-0zbMath1211.68090OpenAlexW2123401705MaRDI QIDQ633286

Jochen Hoenicke, Andreas Podelski, Thomas Wies, K. Rustan M. Leino, Martin Schäf

Publication date: 31 March 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-010-0102-0

zbMATH Keywords

reliabilityprogram falsificationstatic checking

Mathematics Subject Classification ID

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

Related Items (1)

Preemptive type checking

Uses Software

• BLAST
• KRAKATOA
• Why3
• Spec#
• Caduceus
• ESC/Java
• VCC
• Boogie
• CBMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient weakest preconditions
• On the Notion of Vacuous Truth
• A fast algorithm for finding dominators in a flowgraph
• Verification of Array, Record, and Pointer Operations in Pascal
• Avoiding exponential explosion
• Compositional may-must program analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Science Logic
• Computer Aided Verification

This page was built for publication: Doomed program points