ESOP 2015 (series) / ESOP /
Sound, modular and compositional verification of the input/output behavior of programs
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.
Tue 14 Apr
14:00 - 14:30 Talk | Pavol CernyUniversity of Colorado Boulder, Thomas A. HenzingerIST Austria, Laura KovacsChalmers University of Technology, Arjun RadhakrishnaMicrosoft, Jakob ZwirchmayrIRIT Toulouse | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30 Talk | Willem PenninckxKU Leuven, Bart JacobsiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven | |||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00 Talk | Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford |