Model checking software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.).
2015
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
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.).
ISBN
9783319234045 electronic book
3319234048 electronic book
9783319234038
3319234048 electronic book
9783319234038
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.
Geldenhuys, Jaco, editor.
Series
Lecture notes in computer science ; 9232.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Abstraction, refinement, translation
Büchi automata and hashing
Embedded systems
Heuristics and benchmarks
SAT/SMT- based approaches
Software validation and verification.
Büchi automata and hashing
Embedded systems
Heuristics and benchmarks
SAT/SMT- based approaches
Software validation and verification.