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

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.).
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.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Abstraction, refinement, translation
Büchi automata and hashing
Embedded systems
Heuristics and benchmarks
SAT/SMT- based approaches
Software validation and verification.

Browse Subjects

Show more subjects...

Statistics

from
to
Export