SyLVaaS: System Level Formal Verification as a Service*

DOI10.3233/FI-2016-1444zbMath1374.68294MaRDI QIDQ4589244

Igor Melatti, Toni Mancini, Federico Mari, Enrico Tronci, Annalisa Massini

Publication date: 9 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

hybrid systemsmodel checkingdistributed multi-core hardware in the loop simulationsystem level fo verificationverification as a service

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

On minimising the maximum expected verification time ⋮ MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* ⋮ On checking equivalence of simulation scripts

This page was built for publication: SyLVaaS: System Level Formal Verification as a Service*