SyLVaaS: System Level Formal Verification as a Service*
From MaRDI portal
Publication:4589244
DOI10.3233/FI-2016-1444zbMath1374.68294MaRDI QIDQ4589244
Igor Melatti, Enrico Tronci, Toni Mancini, Annalisa Massini, Federico Mari
Publication date: 9 November 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
hybrid systems; model checking; distributed multi-core hardware in the loop simulation; system level fo verification; verification as a service
68Q60: Specification and verification (program logics, model checking, etc.)