Batt, Grégory and Bradley, Jeremy T. and Ewald, Roland and Fages, François and Hermanns, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter J. and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M. (2006) 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.
Full text not available from this repository.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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|
