March 2015: Paper presented at PDP 2015
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.
![euromicro](http://smarthg.di.uniroma1.it/wp-content/uploads/2015/06/euromicro.png)