SyLVaaS: system level formal verification as a service

DOI10.3233/FI-2016-1444MaRDI QIDQ4589244zbMATH OpenFDO

Authors Toni Mancini, Federico Mari, Igor Melatti, Enrico Tronci, A. 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)

Recommendations

• Simulator semantics for system level formal verification
• On checking equivalence of simulation scripts
• scientific article; zbMATH DE number 1796139
• SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
• Formal verification of Simulink/Stateflow diagrams

Cited in

(4)

• Simulator semantics for system level formal verification
• 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
• On minimising the maximum expected verification time

This page was built for publication: SyLVaaS: system level formal verification as a service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589244)