SyLVaaS: system level formal verification as a service

DOI10.3233/FI-2016-1444zbMATH Open1374.68294MaRDI QIDQ4589244FDOQ4589244

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)

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

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)

Cited In (4)

• Simulator semantics for system level formal verification
• On checking equivalence of simulation scripts
• 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

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)