Schlaukopf
.ai
Welches ist das Ziel der formalen Verifikation?
Nachweis der Korrektheit eines Programms.
Programmausführung.
Programmierung.
Programmentwurf.
Informatik Übungen werden geladen ...