Tag: formal-verification
Formale Verifikation ist die Tat zu beweisen oder disproving die Richtigkeit der beabsichtigten algorithmen, die ein system mit Bezug auf eine bestimmte formale Spezifikation oder Eigentum unter Anwendung von formalen Methoden der Mathematik.
1
Antworten
Ich habe zwei arrays verpackt Signale und ich brauche zum erstellen einer Eigenschaft und der entsprechende Behauptung für diese Eigenschaft, der beweist, dass die beiden arrays identisch sind, unter bestimmten Bedingungen. Ich bin formal verifizieren und das
30
Antworten
Warum kann nicht ein computer-Programm nachgewiesen werden, ebenso wie eine mathematische Aussage kann? Ein mathematischer Beweis aufgebaut ist, auf andere Beweise, die aufgebaut werden, von noch mehr Beweise und auf nach unten, um Axiome - diese Wahrheiten