Hoppa till innehåll
EN In english
Publicerad

Deras bevis leder till säkrare programvara

Självkörande bilar, bank-appar, allt fler applikationer kräver säker mjukvara. Men hur vet man att programvaran fungerar till hundra procent? Magnus Myreen och hans forskare på Chalmers bevisar riktigheten i program. Se filmen med en av SSF:s Framtidens forskningsledare!