Paper presented at GandALF 2015

22 September, 2015 all-day

The paper “Simulator Semantics for System Level Formal Verification” of Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti and Enrico Tronci has been presented at the Sixth International Symposium on Games, Automata, Logics and Formal Verification, Genova, Italy (GandALF 2015).

Full paper details are available here.

ArXived at:



Leave a comment

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>