Full name Familienname, Vorname

Günther, Henning

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Results 1-4 of 4 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg	Dynamic Reductions for Model Checking Concurrent Software	Konferenzbeitrag Inproceedings	2017
2	Günther, Henning ; Laarman, Alfons ; Weissenbacher, Georg	Vienna Verification Tool: IC3 for Parallel Software	Inproceedings Konferenzbeitrag	2016
3	Günther, Henning ; Weissenbacher, Georg	Incremental bounded software model checking	Konferenzbeitrag Inproceedings	2014
4	Basold, Henning ; Günther, Henning ; Huhn, Michaela ; Milius, Stefan	An Open Alternative for SMT-Based Verification of Scade Models	Konferenzbeitrag Inproceedings	2014