scientific article; zbMATH DE number 7438570

zbMath1476.68153arXiv1509.07201MaRDI QIDQ5013880

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

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1509.07201

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

On checking equivalence of simulation scripts

Uses Software

• AutoMOTGen

Cites Work

• Unnamed Item
• Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4--6, 2009. Revised selected papers
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Model-based testing of reactive systems. Advanced lectures.
• Bayesian statistical model checking with application to Simulink/Stateflow verification
• Numerical nonlinear regulator design
• On simulation-based probabilistic model checking of mixed-analog circuits

This page was built for publication: