You are here

A further success story for FBK researchers at the "Hardware Model Checking Competition"

News date: 
Tuesday, 5 August, 2014

"We took part to the Hardware Model Checking Competition this year with our program called "nuXmv"Marco Roveri, a researcher with the Embedded System (ES) Unit at FBK's Center for Information and Communication Technology tells us - and we came in third in two out of the three competition tracks".The competition was hosted in Vienna, Austria, July 18 through 22, 2014.