On the Formal Verification of Computer Simulations

Abstract : Barberousse, Franceschelli and Imbert claim that ''simulations can be used as experiments because they represent phenomena'', their arguments being based on a detailed analysis of the semantic levels of computer simulations. We give a computer scientist point of view of this analysis, making it even more detailed and relate it to work on formal semantics in computer science. We argue that the use of formal methods applied to computer simulations make possible the precise assessment of the accuracy of simulations, making scientists more confident on their outcomes.
Type de document :
Communication dans un congrès
Models and Simulations 5, Jun 2012, Helsinki, Finland. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00708817
Contributeur : Frédéric Loulergue <>
Soumis le : vendredi 15 juin 2012 - 18:55:55
Dernière modification le : mercredi 29 novembre 2017 - 10:19:45

Identifiants

  • HAL Id : hal-00708817, version 1

Collections

Citation

Frédéric Loulergue. On the Formal Verification of Computer Simulations. Models and Simulations 5, Jun 2012, Helsinki, Finland. 2012. 〈hal-00708817〉

Partager

Métriques

Consultations de la notice

37