Registered user since Fri 20 Nov 2015

Name: Matthias Heizmann

Bio: I am a developer of the Ultimate Automizer software verifier.

Affiliation: University of Freiburg, Germany

Personal website:

Research interests: software verification, automata theory, termination analysis, satisfiability modulo theories (SMT), interpolant generation


PLDI 2018Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
Show activities from other conferences

Using general profile