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!