Programming Languages and Systems

DOI10.1007/11575467zbMath1159.68374MaRDI QIDQ5493379

K. Rustan M. Leino, Francesco Logozzo

Publication date: 20 October 2006

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (10)

Automatic Inference of Access Permissions ⋮ Modular inference of subprogram contracts for safety checking ⋮ Deaccumulation techniques for improving provability ⋮ Verification and falsification of programs with loops using predicate abstraction ⋮ Verification by Parallelization of Parametric Code ⋮ Predicate abstraction in a program logic calculus ⋮ Predicate Abstraction in a Program Logic Calculus ⋮ Could We Have Chosen a Better Loop Invariant or Method Contract? ⋮ Abstract Interpretation of Symbolic Execution with Explicit State Updates ⋮ Falsifying Safety Properties Through Games on Over-approximating Models

Uses Software

• Spec#
• CVC Lite
• BoogiePL
• Zapato

This page was built for publication: Programming Languages and Systems