On the Formal Verification of Computer Simulations - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

On the Formal Verification of Computer Simulations


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.


Other [cs.OH]
No file

Dates and versions

hal-00708817 , version 1 (15-06-2012)


  • 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⟩
30 View
0 Download


Gmail Facebook X LinkedIn More