2026-07-21T12:35:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:724 2024-03-06T11:06:50Z ddc:004 open_access

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory Bradley, Jeremy T. Ewald, Roland Fages, François Hermans, Holger Hillston, Jane Kemper, Peter Martens, Alke Mosterman, Pieter Nielson, Flemming Sokolsky, Oleg Uhrmacher, Adelinde M. Modelling Simulation Verification Systemsbiology 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Gregory Batt and Jeremy T. Bradley and Roland Ewald and François Fages and Holger Hermans and Jane Hillston and Peter Kemper and Alke Martens and Pieter Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde M. Uhrmacher 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06161.3 urn:nbn:de:0030-drops-7249 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.3 eng https://creativecommons.org/licenses/by/4.0/legalcode