Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [and others], (Eds.).

Format:

Book

Conference/Event

Contributor:

Dams, Dennis.

Conference Name:

SPIN'99 (1999 : Toulouse, France)

World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)

Series:

Lecture notes in computer science ; 1680.

Lecture notes in computer science ; 1680

Language:

English

Subjects (All):

SPIN (Computer file)--Congresses.

SPIN (Computer file).

Computer software--Verification--Congresses.

Computer software.

Computer software--Verification.

Genre:

Conference papers and proceedings.

Physical Description:

x, 276 pages : illustrations ; 24 cm.

Place of Publication:

Berlin ; New York : Springer, 1999.

Summary:

This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively. Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience.

Notes:

Includes bibliographical references and index.

ISBN:

3540664998

OCLC:

42580551