Title:
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Author:
Fischer, Bernd. editor.
ISBN:
9783319234045
Edition:
1st ed. 2015.
Physical Description:
XVIII, 319 p. 66 illus. online resource.
Series:
Theoretical Computer Science and General Issues, 9232
Contents:
Abstraction, refinement, translation -- Büchi automata and hashing -- Embedded systems -- Heuristics and benchmarks -- SAT/SMT- based approaches -- Software validation and verification.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-23404-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518932-1001 | XX(518932.1) | Searching... | Searching... |