Zum Schlagwort Korrektheit sind 3 Bücher im Verlag Dr. Kovač erschienen.
1. Oscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems
Hamburg 1997, 296 SeitenISBN-13: 978-3-86064-625-0, ISBN-10: 3-86064-625-7
Schlagworte: HOLCF, Beweissystem Isabelle, Verfeinerung, Refinement, Verifikation, Korrektheit, Quotienten, Subtypen
2. Ludger Walther
Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle
Hamburg 1997, 240 SeitenISBN-13: 978-3-86064-548-2, ISBN-10: 3-86064-548-X
Schlagworte: OSI-Protokolle, Erreichbarkeitsanalyse, Protokollvalidierung, Korrektheitsbeweis, Validierungswerkzeug PROVAL, Proval, Transaktionsverarbeitung
3. Ruggero Costantini
Abstraktion in ereignisbasierten Modellen verteilter Systeme
Ein Beitrag zum formalen Entwurf verteilter Systeme
Hamburg 1995, 153 SeitenISBN-13: 978-3-86064-323-5, ISBN-10: 3-86064-323-1
Schlagworte: Flussereignisstruktur, Konfigurationsstruktur, Sprache, Abstraktionsoperator, Korrektheitskriterium, Implementierung, Verifikation
