Welcome to the home of the research project

Program Verification using Algebraic Methods

of

Department of Programming Languages and Compilers
Eötvös Loránd University, Budapest, Hungary

and

Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria