Chair for Foundations of Software Reliability and Theoretical Computer Science
Thesis:Constraint-based algorithms for software analysis and verification.
Constraint-based algorithms for software analysis and verification.
interpolation for array theories
disjunctive invariant generation
invariant generation for combined theories
template-based summarization for program loops and procedures