1 Buch 

Wissenschaftliche Literaturnegativ-bedingte GleichungenInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Positive/Negative-Conditional Equations (Forschungsarbeit)

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 Induktion