1 Buch
Wissenschaftliche Literaturinduktive Gültigkeit
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Claus-Peter Wirth
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Forschungsergebnisse zur Informatik
Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer…
algebraische Spezifikationinduktive GültigkeitInformatiknegativ-bedingte Gleichungenpositiv-bedingteTermbesetzungTheorembeweistheorem provingvollständige InduktionHäufige Schlagworte im Fachgebiet Informatik