DagSemProc.06161.3.pdf
- Filesize: 193 kB
- 21 pages
Document
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6161
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-09-07
Cite AsGet BibTex
Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M. Uhrmacher. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06161.3
https://doi.org/10.4230/DagSemProc.06161.3
Abstract
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.
Keywords
- Modelling
- Simulation
- Verification
- Systemsbiology
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads