APRe: Automated Program Reasoning
The Automated Program Reasoning — APRe group
develops new theories, technologies, and tools for automating program analysis,
with a particular focus on generating and proving program properties that can prevent programmers introducing errors
while making changes in their code.
The APRe research targets, among others,
algebra-based program analysis,
loop invariant synthesis, proving loop termination,
probablistic programming, SMT solving, first-order theorem proving, inductive reasoning, and security analysis.
APRe is part of the FORSYTE research unit of the Faculty of Informatics
at TU Wien.