Simulator semantics for system level formal verification

MaRDI QIDQ5013880zbMATH OpenFDO

Authors Toni Mancini, Federico Mari, Igor Melatti, Enrico Tronci, A. Massini

Publication date 3 December 2021

Full work available at URL https://arxiv.org/abs/1509.07201, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015.7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On checking equivalence of simulation scripts
• Efficient simulation of formal processor models
• scientific article; zbMATH DE number 1903359
• SyLVaaS: system level formal verification as a service
• On Bridging Simulation and Formal Verification

Cites work

• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4--6, 2009. Revised selected papers
• scientific article; zbMATH DE number 1182386 (Why is no real title available?)
• Model-based testing of reactive systems. Advanced lectures.
• Numerical nonlinear regulator design
• On simulation-based probabilistic model checking of mixed-analog circuits

Cited in

(5)

• Fixpoint semantics and simulation
• On checking equivalence of simulation scripts
• SyLVaaS: system level formal verification as a service
• Formal Verification of Simulink/Stateflow Diagrams
• Efficient simulation of formal processor models

Describes a project that uses

Uses Software

• AutoMOTGen

This page was built for publication: Simulator semantics for system level formal verification

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