skip to content
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings Preview this item
ClosePreview this item
Checking...

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Author: Ezio Bartocci, (Computer scientist); C R Ramakrishnan
Publisher: Berlin ; New York : Springer, ©2013.
Series: Lecture notes in computer science, 7976.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Congresses
Electronic books
Conference papers and proceedings
Additional Physical Format: Print version:
International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.).
Model checking software.
Berlin ; New York : Springer, ©2013 International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.).
(OCoLC)857108744
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ezio Bartocci, (Computer scientist); C R Ramakrishnan
ISBN: 9783642391767 3642391761
OCLC Number: 847736596
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (x, 375 pages) : illustrations (black and white).
Contents: Reuse of Verification Results / Dirk Beyer, Philipp Wendler --
Proving Properties of Concurrent Programs / Gerard J. Holzmann --
Verifying a Quantitative Relaxation of Linearizability via Refinement / Kiran Adhikari [and others] --
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software / Vadim Alimguzhin [and others] --
On-the-Fly Control Software Synthesis / Vadim Alimguzhin [and others] --
Compositional Approach to Suspension and Other Improvements to LTL Translation / Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz --
Regression Verification Using Impact Summaries / John Backes [and others] --
Abstraction-Based Guided Search for Hybrid Systems / Sergiy Bogomolov [and others] --
Probabilistic Verification of Coordinated Multi-robot Missions / Sagar Chaki, Joseph Andrew Giampapa --
Synthesizing Controllers for Automation Tasks with Performance Guarantees / Chih-Hong Cheng, Michael Geisinger, Christian Buckl --
Specification and Validation of Link Reversal Routing via Graph Transformations / Giorgio Delzanno, Riccardo Traverso --
Local Model Checking of Weighted CTL with Upper-Bound Constraints / Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba --
COMPLeTe --
A COMmunication Protocol vaLidation Toolchain / Sven Gröning, Christopher Rosas, Christian Wietfeld --
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms / Annu John [and others] --
Guard-Based Partial-Order Reduction / Alfons Laarman [and others] --
On the Synergy of Probabilistic Causality Computation and Causality Checking / Florian Leitner-Fischer, Stefan Leue --
Mining Sequential Patterns to Explain Concurrent Counterexamples / Stefan Leue, Mitra Tabaei Befrouei --
Automatic Equivalence Checking of UF+IA Programs / Nuno P. Lopes, José Monteiro --
Expression Reduction from Programs in a Symbolic Binary Executor / Anthony Romano, Dawson Engler --
Model Checking Unbounded Concurrent Lists / Divjyot Sethi, Muralidhar Talupur, Sharad Malik --
Property-Driven Benchmark Generation / Bernhard Steffen, Malte Isberner, Stefan Naujokat --
Error-Completion in Interface Theories / Stavros Tripakis [and others].
Series Title: Lecture notes in computer science, 7976.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: SPIN 2013
Responsibility: Ezio Bartocci, C.R. Ramakrishnan (eds.).
More information:

Abstract:

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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/847736596> # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "847736596" ;
   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/1379631580#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Thing/computer_science> ; # Computer science.
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Topic/computer_software_verification> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Topic/software_validation> ; # Software Validation
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#CreativeWork/spin_computer_file> ; # SPIN (Computer file)
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Thing/logic_design> ; # Logic design.
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/872601> ; # Computer software--Testing
   schema:about <http://dewey.info/class/005.14/e23/> ;
   schema:about <http://id.worldcat.org/fast/1387358> ; # SPIN (Computer file)
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Topic/programming_languages> ; # Programming Languages
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Topic/computer_software_testing> ; # Computer software--Testing
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Topic/software_engineering> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/1379631580#Topic/software> ; # Software
   schema:alternateName "SPIN 2013" ;
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "2013" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1379631580#Meeting/international_spin_workshop_20th_2013_stony_brook_n_y> ; # International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)
   schema:datePublished "2013" ;
   schema:description "This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/1379631580#Person/ramakrishnan_c_r> ; # C. R. Ramakrishnan
   schema:editor <http://viaf.org/viaf/305200035> ; # (Computer scientist) Ezio Bartocci
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1379631580> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Congresses"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1379631580#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:isPartOf <http://experiment.worldcat.org/entity/work/data/1379631580#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1379631580#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isSimilarTo <http://www.worldcat.org/oclc/857108744> ;
   schema:name "Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings"@en ;
   schema:productID "847736596" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/847736596#PublicationEvent/berlin_new_york_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1379631580#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-642-39176-7> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3096880> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-39176-7> ;
   schema:workExample <http://worldcat.org/isbn/9783642391767> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/847736596> ;
    .


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/1379631580#Meeting/international_spin_workshop_20th_2013_stony_brook_n_y> # International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1379631580#Place/stony_brook_n_y> ; # Stony Brook, N.Y.)
   schema:name "International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Person/ramakrishnan_c_r> # C. R. Ramakrishnan
    a schema:Person ;
   schema:familyName "Ramakrishnan" ;
   schema:givenName "C. R." ;
   schema:name "C. R. Ramakrishnan" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Place/stony_brook_n_y> # Stony Brook, N.Y.)
    a schema:Place ;
   schema:name "Stony Brook, N.Y.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/847736596> ; # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/847736596> ; # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#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/847736596> ; # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
   schema:name "LNCS sublibrary, SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Thing/computer_science> # Computer science.
    a schema:Thing ;
   schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
   schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
   schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Topic/programming_languages> # Programming Languages
    a schema:Intangible ;
   schema:name "Programming Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1379631580#Topic/software_validation> # Software Validation
    a schema:Intangible ;
   schema:name "Software Validation"@en ;
    .

<http://id.worldcat.org/fast/1124185> # 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/872601> # Computer software--Testing
    a schema:Intangible ;
   schema:name "Computer software--Testing"@en ;
    .

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

<http://viaf.org/viaf/305200035> # (Computer scientist) Ezio Bartocci
    a schema:Person ;
   schema:familyName "Bartocci" ;
   schema:givenName "Ezio" ;
   schema:name "(Computer scientist) Ezio Bartocci" ;
    .

<http://worldcat.org/isbn/9783642391767>
    a schema:ProductModel ;
   schema:isbn "3642391761" ;
   schema:isbn "9783642391767" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/847736596> ; # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/857108744>
    a schema:CreativeWork ;
   rdfs:label "Model checking software." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/847736596> ; # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
    .

<http://www.worldcat.org/title/-/oclc/847736596>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/847736596> ; # Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
   schema:dateModified "2016-05-12" ;
   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.