5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…