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

By: SPIN'99 (1999 : Toulouse, France)
Contributor(s): Dams, Dennis | World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 1680.Publisher: Berlin ; New York : Springer, ©1999Description: 1 online resource (x, 276 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540482345; 3540482342Other title: SPIN'99, theoretical and practical aspects of SPIN model checking [Spine title]Subject(s): SPIN (Computer file) -- Congresses | SPIN (Computer file) | Computer software -- Verification -- Congresses | Computer software -- VerificationGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Theoretical and practical aspects of SPIN model checking.DDC classification: 005.2/76 LOC classification: QA76.76.V47Online resources: Click here to access online 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

There are no comments for this item.

to post a comment.

Powered by Koha