Abstract I/O Specification

Willem Penninckx, Amin Timany, Bart Jacobs

We recently proposed an approach for the specification and modular formal verification of the interactive (I/O) behavior of programs, based on an embedding of Petri nets into separ…