Verification over discrete-continuous boundaries

201020102010

Keyphrases

Publications

2010

Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Verification over discrete-continuous boundaries (2010)
Michael Brickenstein, Alexander Dreyer
Network-driven Boolean Normal Forms. Verification over discrete-continuous boundaries (2010)
Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries (2010)
Florian Schupfer, Christoph Grimm
Towards more Dependable Verification of Mixed-Signal Systems. Verification over discrete-continuous boundaries (2010)

volume 10271, 2010

Verification over discrete-continuous boundaries, 04.07. - 09.07.2010 Verification over discrete-continuous boundaries 10271 (2010)