KIV 3.0 for Provably Correct Systems

KIV 3.0 is an advanced tool for engineering high assurance systems. It provides an economically applicable verification technology, and supports the entire design process from formal specifications to executable verified code. In KIV the design process for high assurance systems proceeds as follows....

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Balser, Michael, Reif, Wolfgang, Schellhorn, Gerhard, Stenzel, Kurt
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Abstract State Machine Applied sciences Computer science control theory systems Exact sciences and technology Interactive Proof Programming theory Proof Obligation Prototype Verification System Theorem Base Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!