Petra
Open standaard voor schaalbare formele softwareverificatie
Uitgelicht
86 Stemmen
Beschrijving
Petra is 's werelds eerste open standaard voor schaalbare (objectgeoriënteerde) formele softwareverificatie en professionele ontwikkelaarstools voor de standaard.