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 Times are displayed in time zone: (GMT) Azores change
|14:00 - 14:30|
|14:30 - 15:00|
|15:00 - 15:30|
|15:30 - 16:00|