06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification

Authors Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher



PDF
Thumbnail PDF

File

DagSemProc.06161.3.pdf
  • Filesize: 193 kB
  • 21 pages

Document Identifiers

Author Details

Gregory Batt
Jeremy T. Bradley
Roland Ewald
François Fages
Holger Hermans
Jane Hillston
Peter Kemper
Alke Martens
Pieter Mosterman
Flemming Nielson
Oleg Sokolsky
Adelinde M. Uhrmacher

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

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail