News

TWF project accepted (December 15, 2010)

The Tyrolean Science Fund (Tiroler Wissenschaftsfond) is funding the project “Solving Non-Linear Arithmetic” led by Dr. Harald Zankl. Solving constraints of non-linear arithmetic is inevitable for many applications in hard- and software verification.

The funding will mainly be used to support a master thesis at the Computational Logic group.

The findings of the project will be incorporated into the SMT solver MiniSmt developed at the Computational Logic group at the University of Innsbruck.