Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /

"This monograph is a revised version of the author's Ph. D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern t...

Full description

Bibliographic Details

Main Author:	Godefroid, Patrice
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1032.
Subjects:	Parallel processing (Electronic computers) Computer software > Verification. ordre partiel. méthode vérification. système concurrent. Logiciels > Vérification. Parallélisme (Informatique) Parallelle verwerking. Parallélisme (informatique) Logiciels > Essais. Halbordnung. Nebenläufigkeit. Verifikation. Zustandsraum. Electronic books.
Online Access:	Connect to the full text of this electronic book