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.
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.