Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. SyLVaaS: System Level Formal Verification as a Service. In Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson, editors, 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015. pages 476-483, IEEE, 2015. [doi]
Abstract is missing.