From 4 July 2010 to 9 July 2010, the Dagstuhl Seminar 10271#R##N#``Verification over discrete-continuous boundaries''#R##N#was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.#R##N#During the seminar, several participants presented their current#R##N#research, and ongoing work and open problems were discussed. Abstracts of#R##N#the presentations given during the seminar as well as abstracts of#R##N#seminar results and ideas are put together in this paper. The first section#R##N#describes the seminar topics and goals in general.#R##N#Links to extended abstracts or full papers are provided, if available.
['Bernd Becker', 'Luca Cardelli', 'Holger Hermanns', 'Sofiene Tahar']
10271 Abstracts Collection -- Verification over discrete-continuous boundaries