Embedded Systems Group (ES)

Search Result

2019

BibTeX Search WWW PDF   [KoSc19]
M. Köhler and K. Schneider
Inductive Proof Rules Beyond Safety Properties
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

2016

BibTeX Search WWW PDF   [Koeh16]
M. Köhler
CEGAR for Regular Inclusion
Master Thesis