Skip to main content
University of Regensburg
DE: diese Seite auf deutsch

Research

The chair deals with a variety of topics in the field of formal logic and verification, among others:

  • Properties of logical fragments and theories
  • Calculi and effective proof or decision procedures, implemented in the form of SMT solvers
  • Methods for Craig interpolation and quantifier elimination
  • Automata methods
  • Specification and intermediate languages for verification.
Gekritzel auf einer Tafel
  • Properties of logical fragments and theories
  • Calculations and effective proof or decision-making procedures
  • Methods for Craig interpolation and quantifier elimination
  • Automated methods
Properties of logical fragments and theories
Calculations and effective proof or decision-making procedures
Methods for Craig interpolation and quantifier elimination
Automated methods
To top