Willkommen bei der Website des Projekts

Programm-Verifikation mithilfe algebraischer Methoden

von

Lehrstuhl für Programmiersprachen und Compiler
Eötvös Loránd Universität, Budapest, Ungarn

und

Institut für symbolisches Rechnen (RISC)
Johannes Kepler Universitat, Linz, Österreich