Iterative Circular Coinduction for CoCasl in Isabelle/HOL

Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the reactive behavior of a coalgebraic system typically rely on the method of coinduction. In comparison to ‘traditional’ coinduction, wh...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hausmann, Daniel, Mossakowski, Till, Schröder, Lutz
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Automatic Proof Binary Tree Coalgebra Structure Computer science control theory systems Exact sciences and technology Iterative Construction Left Subtree Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!