On checking equivalence of simulation scripts
type: Item
instance of: scholarly article
title: On checking equivalence of simulation scripts
author: Toni Mancini
author: Federico Mari
author: A. Massini
author: Igor Melatti
author: Enrico Tronci
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-06-25T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7363405
zbMATH Keywords: formal verification
zbMATH Keywords: simulation based formal verification
zbMATH Keywords: formal verification of cyber-physical systems
zbMATH Keywords: system-level formal verification
describes a project that uses: StateFlow
describes a project that uses: AutoMOTGen
describes a project that uses: S-TaLiRo
describes a project that uses: dReach
describes a project that uses: PHAVer
describes a project that uses: HyTech
describes a project that uses: Uppaal
describes a project that uses: Dymola
describes a project that uses: DryVR
MaRDI profile type: Publication
full work available at URL: j.jlamp.2021.100640
OpenAlex ID: W3122374654
cites work: HyTech: A model checker for hybrid systems
cites work: Hybrid Systems: Computation and Control
cites work: SyLVaaS: System Level Formal Verification as a Service*
cites work: On minimising the maximum expected verification time
cites work: Q5013880
cites work: Fundamental Approaches to Software Engineering
cites work: Towards a UTP Semantics for Modelica
cites work: Simulation-equivalent reachability of large linear systems with inputs
cites work: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
cites work: Bayesian statistical model checking with application to Stateflow/Simulink verification
cites work: On simulation-based probabilistic model checking of mixed-analog circuits
cites work: Model-based testing of reactive systems. Advanced lectures.
cites work: Mutation-Based Test Case Generation for Simulink Models
cites work: Q4400449
cites work: Numerical nonlinear regulator design
cites work: Linearizing Discrete-Time Hybrid Systems
DOI: 10.1016/J.JLAMP.2021.100640
description: scientific article; zbMATH DE number 7363405