On checking equivalence of simulation scripts.

Toni Mancini Federico Mari Annalisa Massini Igor Melatti Enrico Tronci

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

simulation model
case study
database
mathematical model
simulation study
data sets
collision detection