Research question
how can we identify the
hard-to-find errors in the code?
can formal methods help in
finding errors not uncovered by testing?
Föregående bild
Nästa bild
Tillbaka till första bilden
Visa grafisk version