Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs

DOI10.1007/978-3-662-46669-8_7zbMath1335.68063OpenAlexW905467040MaRDI QIDQ2802435

Willem Penninckx, Bart Jacobs, Frank Piessens

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/478356

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Connecting Higher-Order Separation Logic to a First-Order Outside World ⋮ Characteristic formulae for liveness properties of non-terminating CakeML programs

Uses Software

• VeriFast
• Ynot

This page was built for publication: Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs