Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Highlights of the Year

The veriT solver (section  5.1 ) participated in the SMT competition 2014 , part of the Vienna Summer Of Logic Olympic Games, and received the gold medal for the SMT category.