skip to content
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings Preview this item
ClosePreview this item
Checking...

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

Author: Matthew Dwyer; ACM Sigsoft.
Publisher: Berlin ; New York : Springer, 2001.
Series: Lecture notes in computer science, 2057.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:International SPIN Workshop (8th : 2001 Toronto, Ont.).
Model checking software.
Berlin ; New York : Springer, 2001
(DLC) 2001032221
(OCoLC)46837036
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Matthew Dwyer; ACM Sigsoft.
ISBN: 9783540451396 3540451390
OCLC Number: 48948345
Notes: On cover: ACM SIGSOFT.
Description: 1 online resource (x, 311 pages) : illustrations.
Contents: From model checking to a temporal proof / Doron Peled, Lenore Zuck --
Model checking if your life depends on it: a view from intel's trenches / Rob Gerth --
Model-checking infinite state-space systems with fine-grained abstractions using SPIN / Marsha Chechik, Bebet Devereux, Arie Gurfinkel --
Implementing LTL model checking with net unfoldings / Javier Esparza, Keijo Heljanko --
Directed explicit model checking with HSF-SPIN / Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue --
Addressing dynamic issues of program model checking / Flavio Lerda, Willem Visser --
Automaticallu validating temporal safety properties of interfaces / Thomas Ball, Sriram K. Rajamani --
Verification experiments on the MASCARA protocol / Guoping Jia, Susanne Graf --
Using SPIN for feature interaction analysis-a case study / Muffy Calder, Alice Miller --
Behavioural analysis of the enterprise javabens component architecture / Shin Nakajima, Tetsuo tamai --
p2b: a translation utility for linking promela and symbolic model checking (tool paper) / Michael Baldamus, Jochen Schröder-Babo --
Transformations for model checking distributed java programs / Scott D. Stoller, Yanhong A. Liu --
Distribured LTL model-checking in SPIN / Jiri Barnat, Lubos Brim, Jitka Stříbrná --
Parallel state space construction for model-checking / Hubert Garavel, Radu Mateescu, Irina Smarandache --
Model checking systems of replicated processes with spin / Fabrice derepas, Paul Gastin --
SPIN-based model checker for telecommunication protocols / Vivek K. Shanbhag, K. Gopinath --
Modeling and verifying a price model for congestion control in computer networks using promela/spin / Clement Yuen, Wei Tjioe --
Model checking project at philips research / Leszek Holenderski --
Applications of model checking at honeywell laboratories / Darren Cofer [and others] --
Coarse-granular model checking in practice / Bernhard Steffen, Tiziana Margaria, Volker Braun.
Series Title: Lecture notes in computer science, 2057.
Responsibility: Matthew Dwyer (ed.).
More information:

Abstract:

This work constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. Besides foundational issues of program analysis and formal verification,  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/48948345> # Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "48948345" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4160441522#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/4160441522#CreativeWork/spin_computer_file> ; # SPIN (Computer file)
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/4160441522#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://dewey.info/class/005.14/e21/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/126402852> ; # ACM Sigsoft.
    schema:contributor <http://viaf.org/viaf/85195059> ; # Matthew Dwyer
    schema:creator <http://experiment.worldcat.org/entity/work/data/4160441522#Meeting/international_spin_workshop_8th_2001_toronto_ont> ; # International SPIN Workshop (8th : 2001 Toronto, Ont.)
    schema:datePublished "2001" ;
    schema:description "This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4160441522> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4160441522#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/46837036> ;
    schema:name "Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings"@en ;
    schema:productID "48948345" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/48948345#PublicationEvent/berlin_new_york_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4160441522#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-42124-5> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2057.htm> ;
    schema:url <http://link.springer.com/10.1007/3-540-45139-0> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540451390> ;
    schema:url <http://dx.doi.org/10.1007/3-540-45139-0> ;
    schema:workExample <http://worldcat.org/isbn/9783540451396> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/48948345> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4160441522#CreativeWork/spin_computer_file> # SPIN (Computer file)
    a schema:CreativeWork ;
    schema:name "SPIN (Computer file)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4160441522#Meeting/international_spin_workshop_8th_2001_toronto_ont> # International SPIN Workshop (8th : 2001 Toronto, Ont.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4160441522#Place/toronto_ont> ; # Toronto, Ont.)
    schema:name "International SPIN Workshop (8th : 2001 Toronto, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4160441522#Place/toronto_ont> # Toronto, Ont.)
    a schema:Place ;
    schema:name "Toronto, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4160441522#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/48948345> ; # Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://viaf.org/viaf/126402852> # ACM Sigsoft.
    a schema:Organization ;
    schema:name "ACM Sigsoft." ;
    .

<http://viaf.org/viaf/85195059> # Matthew Dwyer
    a schema:Person ;
    schema:birthDate "1963" ;
    schema:familyName "Dwyer" ;
    schema:givenName "Matthew" ;
    schema:name "Matthew Dwyer" ;
    .

<http://worldcat.org/isbn/9783540451396>
    a schema:ProductModel ;
    schema:isbn "3540451390" ;
    schema:isbn "9783540451396" ;
    .

<http://www.worldcat.org/oclc/46837036>
    a schema:CreativeWork ;
    rdfs:label "Model checking software." ;
    schema:description "Print version:International SPIN Workshop (8th : 2001 Toronto, Ont.)." ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/48948345> ; # Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/48948345>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/48948345> ; # Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
    schema:dateModified "2017-09-20" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.