Model checking software: [electronic resource] :: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: Bernd Fischer, Jaco Geldenhuys (eds.).

Fischer, Bernd,; Geldenhuys, Jaco,

doi:10.1007/978-3-319-23404-5

Model checking software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.).

International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa); Fischer, Bernd, editor.; Geldenhuys, Jaco, editor.

2015

QA76.76.V47

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Model checking software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.).

Meeting Name

International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)

ISBN

9783319234045 electronic book
3319234048 electronic book
9783319234038

DOI

https://doi.org/10.1007/978-3-319-23404-5

Published

Cham : Springer, 2015.

Language

English

Description

1 online resource (xviii, 319 pages) : illustrations.

Item Number

10.1007/978-3-319-23404-5 doi

Call Number

QA76.76.V47

Dewey Decimal Classification

005.1/4

Summary

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Note

International conference proceedings.

Bibliography, etc. Note

Includes bibliographical references and author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed September 3, 2015).

Added Author

Fischer, Bernd, editor.
Geldenhuys, Jaco, editor.

Series

Lecture notes in computer science ; 9232.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.