Pubblicazioni

SyLVaaS: system level formal verification as a service

2015 - Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015)
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

Simulator semantics for system level formal verification

2015 - Logics and Formal Verification 2015 (GandALF’15)
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma