Prof. Tinelli received a $95,000 donation from GE Global Research in support of continued research and development of CVC4 tool.

CVC4 is an award-winning SMT solver jointly developed by Tinelli's group at Iowa and Prof. Barrett's at Stanford University which is used as a backend logical reasoning engine in a large number of tools from academia and industry.