Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs.

Bart Jacobs

Browse the full ISoLA paper archive.