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...

Celý popis

Podrobná bibliografia

Vydané v:	Real Time Programming: Languages, Specification And Verification s. 131
Hlavní autori:	R K Shyamasundar, S Ramesh
Médium:	Kapitola
Jazyk:	English
Vydavateľské údaje:	Singapore World Scientific Publishing Company 2009 WORLD SCIENTIFIC
Predmet:	PART IV: Verification of Synchronous Programs Software Engineering
ISBN:	9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!