Stav dette: Verificación formal de algoritmos :