skip to content
Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings Preview this item
ClosePreview this item
Checking...

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings

Author: Alex Groce; Madanlal Musuvathi
Publisher: Heidelberg : Springer, 2011.
Series: Lecture notes in computer science, 6823.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions;  Read more...
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Electronic book
Congresses
Additional Physical Format: Print version:
Model Checking Software.
Springer-Verlag New York Inc 2011
(DLC) 2011930657
(OCoLC)733249744
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alex Groce; Madanlal Musuvathi
ISBN: 9783642223068 3642223060
OCLC Number: 740506080
Language Note: English.
Description: 1 online resource (x, 193 pages) : illustrations.
Series Title: Lecture notes in computer science, 6823.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: International SPIN Workshop
SPIN 2011
Responsibility: Alex Groce, Madanlal Musuvathi (eds.).

Abstract:

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers  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/740506080> # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "740506080" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1056136699#Place/heidelberg> ; # Heidelberg
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#CreativeWork/spin_computer_file> ; # SPIN (Computer file)
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://id.worldcat.org/fast/1387358> ; # SPIN (Computer file)
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/1056136699#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:alternateName "SPIN 2011" ;
    schema:alternateName "International SPIN Workshop" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/280592887> ; # Alex Groce
    schema:contributor <http://viaf.org/viaf/173120149> ; # Madanlal Musuvathi
    schema:creator <http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> ; # International SPIN Workshop (18th : 2011 : Snowbird, Utah)
    schema:datePublished "2011" ;
    schema:description "This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1056136699> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Electronic book"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/733249744> ;
    schema:name "Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings"@en ;
    schema:productID "740506080" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/740506080#PublicationEvent/heidelberg_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1056136699#Agent/springer> ; # Springer
    schema:url <http://www.library.yorku.ca/e/resolver/id/2332719> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2012-05-22/1/9783642223068> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3066946> ;
    schema:url <http://site.ebrary.com/id/10483951> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-642-22306-8> ;
    schema:url <https://link.springer.com/10.1007/978-3-642-22306-8> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2012-05-22/1/9783642223068> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-642-22306-8> ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000539197&T=marc&tab=BOOKS> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-22305-1> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-22305-1> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.1007/978-3-642-22306-8> ;
    schema:url <http://link.springer.com/10.1007/978-3-642-22306-8> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-22306-8> ;
    schema:workExample <http://worldcat.org/isbn/9783642223068> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-22306-8> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/740506080> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1056136699#Meeting/international_spin_workshop_18th_2011_snowbird_utah> # International SPIN Workshop (18th : 2011 : Snowbird, Utah)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1056136699#Place/snowbird_utah> ; # Snowbird, Utah)
    schema:name "International SPIN Workshop (18th : 2011 : Snowbird, Utah)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Place/snowbird_utah> # Snowbird, Utah)
    a schema:Place ;
    schema:name "Snowbird, Utah)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1056136699#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://id.worldcat.org/fast/1387358> # SPIN (Computer file)
    a schema:CreativeWork ;
    schema:name "SPIN (Computer file)" ;
    .

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

<http://viaf.org/viaf/173120149> # Madanlal Musuvathi
    a schema:Person ;
    schema:familyName "Musuvathi" ;
    schema:givenName "Madanlal" ;
    schema:name "Madanlal Musuvathi" ;
    .

<http://viaf.org/viaf/280592887> # Alex Groce
    a schema:Person ;
    schema:familyName "Groce" ;
    schema:givenName "Alex" ;
    schema:name "Alex Groce" ;
    .

<http://worldcat.org/isbn/9783642223068>
    a schema:ProductModel ;
    schema:isbn "3642223060" ;
    schema:isbn "9783642223068" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/733249744>
    a schema:CreativeWork ;
    rdfs:label "Model Checking Software." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/740506080>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/740506080> ; # Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    schema:dateModified "2019-01-13" ;
    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.