(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
(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.