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: Electronic books
Conference proceedings
Congresses
Additional Physical Format: Original print version: International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.).
Model checking software.
Heidelberg : Springer, [2013]
(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 ... [et al.] --
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software / Vadim Alimguzhin ... [et al.] --
On-the-Fly Control Software Synthesis / Vadim Alimguzhin ... [et al.] --
Compositional Approach to Suspension and Other Improvements to LTL Translation / Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz --
Regression Verification Using Impact Summaries / John Backes ... [et al.] --
Abstraction-Based Guided Search for Hybrid Systems / Sergiy Bogomolov ... [et al.] --
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 ... [et al.] --
Guard-Based Partial-Order Reduction / Alfons Laarman ... [et al.] --
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 ... [et al.]
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


<http://www.worldcat.org/oclc/847736596>
library:oclcnum"847736596"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/847736596>
rdf:typeschema:Book
schema:about
schema:about
<http://id.worldcat.org/fast/872604>
rdf:typeschema:Intangible
schema:name"Computer software--Verification"@en
schema:name"Computer software--Verification."@en
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/872601>
rdf:typeschema:Intangible
schema:name"Computer software--Testing"@en
schema:name"Computer software--Testing."@en
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:creator
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:exampleOfWork<http://worldcat.org/entity/work/id/1379631580>
schema:genre"Conference proceedings"@en
schema:genre"Conference proceedings."@en
schema:genre"Electronic books."@en
schema:inLanguage"en"
schema:name"Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings"@en
schema:name"SPIN 2013"@en
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-3-642-39176-7>
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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