Naredna: Specifikacija Gore: Verifikacija programa Prethodna: Prevođenje u C program   Sadržaj

NZD

Zadatak: Napisati program koji za dva prirodna broja x i y izračunava vrednost njihovog najvećeg zajedničkog delioca odnosno najvećeg pozitivnog celog broja koji deli ta dva broja (i smešta ga u promenljivu z) .

• Specifikacija
• Pseudokod programa
• Testiranje programa
• Invarijanta petlje
• Dokaz parcijalne korektnosti programa
• Dokaz zaustavljanja programa
• Prevođenje u C program

Naredna: Specifikacija Gore: Verifikacija programa Prethodna: Prevođenje u C program   Sadržaj