Maths et vérification des codes

La jeune entreprise française TrustInSoft accélère et renforce ce processus grâce à une technique innovante basée sur les mathématiques. Son excellence lui a valu d'être primée au FIC 2016. 

C'est un article de l'Usine digitale

http://www.usine-digitale.fr/article/fic-2016-un-prix-du-jury-pour-trustinsoft-la-spin-off-du-cea-qui-securise-le-code-avec-des-maths.N375581