You are here: Home Team Alexander Nutz

This page does not seem to exist…

We apologize for the inconvenience, but the page you were trying to access is not at this address. You can use the links below to help you find what you are looking for.

If you are certain you have the correct web address but are encountering an error, please contact the Site Administration.

Thank you.

You might have been looking for…

Alexander Nutz
Alexander Nutz
Alexander Nutz - A Study of Software Model Checkers based on Interpolation - Impact,Trace Abstraction.pdf
Alexander Nutz
SMTInterpol
[M.Sc. Laboratory] A Study of Software Model Checkers based on Interpolation
We compare techniques of some existing software model checkers, identify differences and commonalities and check if we can present the techniques in a unified ...
Jürgen Christ
Tanja Schindler
Christian Schilling
Program Analysis & Software Testing
Program analysis is the research area that studies the automatic analysis of computer programs. The methods that are developed in this research area help ...
Informatik III
Die Vorlesung gibt eine Einführung in die Theoretische Informatik. Sie führt in die Themen Endliche Automaten, Formale Sprachen und Grammatiken ein und liefert ...