Onderzoekers werken aan tools om bugs te elimineren

Onderzoekers van Stevens Institute of Technology samen met Yale zijn tools aan het ontwikkelen waarmee ze fouten in computers ver willen verminderen. Ze streven ernaar om algoritmes te gebruiken om te bepalen of het mogelijk is voor de software om onder welke omstandigheden dan ook slechte resultaten te produceren. Dit willen ze bereiken met ‘temporal logic’.

Lees meer op Help Net Security