
(Eng:
correctness proof) Bewijsvoering dat de een bepaalde bewering juist is of dat de semantiek van een algoritme of programma overeenkomt met de voor dat algoritme of programma opgestelde specificaties.
Gevonden op
https://www.angelfire.com/ca/vlietstra/CADCAM.pdf
Geen exacte overeenkomst gevonden.