Working Groups’ Report: The Challenge of Combining Simulation and Verification

Simulation and Verification of Dynamic Systems

计算机科学;物理学

Gregory Batt ; Jeremy Bradley ; Roland Ewald ; Francois Fages ; Holger Hermans ; Jane Hillston ; Peter Kemper ; Alke Martens ; Pieter Mosterman ; Flemming Nielson ; Oleg Sokolsky ; Adelinde Uhrmacher ; and all other participants of the Dagstuhl seminar

Others  :  http://drops.dagstuhl.de/opus/volltexte/2006/724/pdf/06161.SWM.Paper.724.pdf
PID  :  6553

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Simulation has found widespread use for experimentation and exploration of the possible impacts of a variety of conditions on a system. In contrast, formal verification is concerned with proving or disproving the correctness of a system with respect to a certain property, using mathematical and logical methods.