On checking equivalence of simulation scripts
formal verification of cyber-physical systems
scientific article; zbMATH DE number 7363405
scientific article