PART IV: Verification of Synchronous Programs

In this part, we will describe important approaches that are used for the verification of programs in synchronous languages like ESTEREL, and Lustre. First we will discuss in detail the verification approaches used for verification of ESTEREL programs. This will be followed by an illustration of ver...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Real Time Programming: Languages, Specification And Verification S. 131
Hauptverfasser:	R K Shyamasundar, S Ramesh
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	Singapore World Scientific Publishing Company 2009 WORLD SCIENTIFIC
Schlagworte:	PART IV: Verification of Synchronous Programs Software Engineering
ISBN:	9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!