Sound, modular and compositional verification of the input/output behavior of programs (ESOP 2015)

Tue 14 - Thu 16 April 2015 London, United Kingdom

Who

Willem Penninckx, Bart Jacobs, Frank Piessens

Track

ESOP 2015

Time Zone

The program is currently displayed in (GMT) Azores.

Use conference time zone: (GMT) AzoresSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 14 Apr 2015 15:00 - 15:30 at Skeel - Session 2 Chair(s): Gavin Bierman

Abstract

We present a sound verification approach for verifying input/output properties of programs. Our approach supports defining high-level I/O actions on top of low-level ones (compositionality), defining input/output actions without taking into account which other actions exist (modularity), and other features.

Willem Penninckx

KU Leuven

Bart Jacobs

iMinds - Distrinet, KU Leuven

Belgium

Frank Piessens