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)

Full work available at URL https://doi.org/10.3233/FI-2016-1444

zbMATH Keywords

distributed multi-core hardware in the loop simulationhybrid systemsmodel checkingsystem 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)

• On minimising the maximum expected verification time
• On checking equivalence of simulation scripts
• 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

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)