On checking equivalence of simulation scripts
From MaRDI portal
Publication:2035653
DOI10.1016/j.jlamp.2021.100640MaRDI QIDQ2035653
Igor Melatti, Enrico Tronci, Toni Mancini, Annalisa Massini, Federico Mari
Publication date: 25 June 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100640
formal verification; system-level formal verification; formal verification of cyber-physical systems; simulation based formal verification
68-XX: Computer science
Uses Software