Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Theoretical Computer Science and General Issues)
Product details
| Management number | 233492353 | Release Date | 2026/06/27 | List Price | US$19.18 | Model Number | 233492353 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the refereed proceedings of the 22nd 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. Read more
| ASIN | 331923403X |
|---|---|
| ISBN10 | 9783319234038 |
| ISBN13 | 978-3319234038 |
| Edition | 1st ed. 2015 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.77 x 9.25 inches |
| Item Weight | 11.36 pounds |
| Print length | 337 pages |
| Publication date | September 3, 2015 |
Bestseller ranking
Adventurers & Explorers
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form