Welches ist das Ziel der formalen Verifikation?
Nachweis der Korrektheit eines Programms.
Programmausführung.
Programmierung.
Programmentwurf.

Informatik Übungen werden geladen ...