Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Friday, June 15, 2012 - 6:55:55 PM
Last modification on : Saturday, June 25, 2022 - 10:11:53 AM


  • HAL Id : hal-00708817, version 1



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



Record views