Accueil > 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).
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Helma.K
- 100% positive feedback
(Frankfurt, Germany)