March 2015: The paper “SyLVaaS: System Level Formal Verification as a Service” of T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci has been presented at the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD).
Full paper details are available here.
