Home >  Term: Beweis der Korrektheit
Beweis der Korrektheit

(1) Eine formale Technik, um mathematisch beweisen, dass ein Computer-Programm erfüllt die angegebenen requirements.~(2) ein Beweis, das ergibt sich aus der Anwendung der Technik (1).

0 0

Creator

  • Helma.K
  • (Frankfurt, Germany)

  •  (V.I.P) 28434 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.