Verifikacija programa

- Metoda induktivne invarijante -

Milena Vujošević-Janičić i Jelena Tomašević

• Uvod
  • Neformalno ispitivanje ispravnosti programa
  • Osnovni pojmovi
  • Formalno ispitivanje ispravnosti programa

• Primeri:
  • Faktorijel
  • NZD
  • Celobrojno deljenje
  • Hardverdsko celobrojno deljenje
  • Sortiranje niza - Selection sort

• Korisni linkovi i materijali
• Literatura
• Sadržaj

Naredna: Uvod   Sadržaj