Publications

2017

Steinhöfel, Dominic; Wasser, Nathan

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows Inproceedings Forthcoming

Polikarpova, Nadia; Schneider, Steve (Ed.): Proceedings of the 13th International Conference on Integrated Formal Methods, Springer International Publishing, Forthcoming, (to appear).

BibTeX

Steinhöfel, Dominic ; Wasser, Nathan

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows Technical Report

Technische Universität Darmstadt 2017.

Abstract | Links | BibTeX

2016

Scheurer, Dominic; Hähnle, Reiner; Bubel, Richard

A General Lattice Model for Merging Symbolic Execution Branches Inproceedings

Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying (Ed.): Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 57–73, Springer International Publishing, 2016.

Links | BibTeX