Sites Inria

There are 1 Results with the keyword : "Mate Soos"

Illustration Codage

Prize

Verification of complex systems

Marie Collin - 28/09/2010

CryptoMiniSat, software for verification of software or complex hardware architectures, won first prize at the SAT Race 2010 international competition.

Keywords:

Home > Centre > Grenoble > News > Vérification systèmes complexes

More

Top