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

Uloženo v:
Podrobná bibliografie
Vydáno v:Real Time Programming: Languages, Specification And Verification s. 131
Hlavní autoři: R K Shyamasundar, S Ramesh
Médium: Kapitola
Jazyk:angličtina
Vydáno: Singapore World Scientific Publishing Company 2009
WORLD SCIENTIFIC
Témata:
PART IV: Verification of Synchronous Programs
Software Engineering
ISBN:9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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 verification techniques for LUSTRE programs.
ISBN:9789810225667
9810225660
9789814499316
9789812814029
9812814027
9814499315
DOI:10.1142/9789812814029_others04