Dansk forsker vil udrydde softwarefejl

Description

Vi bliver mere og mere afhængige af software men mange computerprogrammer indeholder alligevel alvorlige fejl. Et nyt dansk forskningsprojekt skal finde en matematisk metode, der kan forhindre fejlene. Software fylder mere og mere i vores liv...