Formale Verifikation
Mit mathematischen Methoden prüfen, ob Software explizit angegebene Eigenschaften erfüllt.
Ausführliche Erklärung
Die formale Verifizierung beginnt mit der Festlegung einer Eigenschaft und prüft dann das Programm anhand eines Modells. Dies kann starke Hinweise auf das gewählte Verhalten liefern. Der Umfang ist wichtig: Der Nachweis einer Rechnungslegungsregel beweist nicht, dass die Anwendung, das Orakel oder das wirtschaftliche Design jedes mögliche Problem löst.
So könntest du es verwenden
Sie geben an, dass bei einer Übertragung das Gesamtangebot erhalten bleiben muss, und verwenden dann einen Prüfer, um diese Eigenschaft unter den Modellannahmen zu überprüfen.
Wie würdest du Formale Verifikation erklären?
Deine Erklärung hinzufügenVon Crypto Dictionary · Veröffentlicht · Aktualisiert
Zur Quelle
Erkunde die Details dieses Eintrags anhand der Originalquelle.
Quelle lesenEine eigene Erklärung mit weiterführender Quelle. Protokolldetails und Sprachgebrauch können sich verändern. Quellen und Standards