Verifikation

Das Führerschaftsprinzip bei Inspektionsspielen

Hamburg 2002, 140 Seiten
ISBN-13: 978-3-8300-0527-8, ISBN-10: 3-8300-0527-X

Schlagworte: Spieltheorie, Gleichgewichte, Strategien, Datenverifikation, Selbstbindung, Kontrollen, Angewandte Mathematik, Inspektionsspiele, Dissertation

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Hamburg 1999, 190 Seiten
ISBN-13: 978-3-86064-929-9, ISBN-10: 3-86064-929-9

Schlagworte: CSP, Statemate, Statecharts, Systemmodellierung, formale Spezifikation, Verifikation, Übersetzungstechniken

Intuitionistic Set Theory Part II

Hamburg 1998, 300 Seiten
ISBN-13: 978-3-86064-617-5, ISBN-10: 3-86064-617-6

Schlagworte: Set Theory, Informatik, Programmverifikation, Mengenlehre, Quantentheorie, reelle Zahlen, Mathematik, Physik

Intuitionistic Set Theory Part I

Hamburg 1998, 300 Seiten
ISBN-13: 978-3-86064-616-8, ISBN-10: 3-86064-616-8

Schlagworte: Set Theory, Informatik, Programmverifikation, Mengenlehre, Quantentheorie, reelle Zahlen, Mathematik, Physik

Refinements in HOLCF: Implementation of Interactive Systems

Hamburg 1997, 296 Seiten
ISBN-13: 978-3-86064-625-0, ISBN-10: 3-86064-625-7

Schlagworte: HOLCF, Beweissystem Isabelle, Verfeinerung, Refinement, Verifikation, Korrektheit, Quotienten, Subtypen

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Hamburg 1997, 160 Seiten
ISBN-13: 978-3-86064-593-2, ISBN-10: 3-86064-593-5

Schlagworte: vertragswidriges Verhalten, Einhaltung, Vertrag, Verifikation, Spieltheorie, Optimierung, Inspektion, nichtkooperative Spiele

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Hamburg 1996, 156 Seiten
ISBN-13: 978-3-86064-469-0, ISBN-10: 3-86064-469-6

Schlagworte: sprachunabhängiges Verifikationsystem, Semantikbeschreibung, Lambda, Zielsprache, Programmierung, Software, Qualitätssicherung

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Hamburg 1996, 160 Seiten
ISBN-13: 978-3-86064-386-0, ISBN-10: 3-86064-386-X

Schlagworte: Datenverifikation, Spieltheorie, EDV, Materialbilanz, statistische Fehler, Neyman-Pearson-Test, Fixpunkt, Nash

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Hamburg 1995, 153 Seiten
ISBN-13: 978-3-86064-323-5, ISBN-10: 3-86064-323-1

Schlagworte: Flussereignisstruktur, Konfigurationsstruktur, Sprache, Abstraktionsoperator, Korrektheitskriterium, Implementierung, Verifikation