Vai al contenuto principale della pagina
Titolo: | Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / / edited by Bernd Fischer, Jaco Geldenhuys |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Edizione: | 1st ed. 2015. |
Descrizione fisica: | 1 online resource (XVIII, 319 p. 66 illus.) |
Disciplina: | 005.14 |
Soggetto topico: | Software engineering |
Compilers (Computer programs) | |
Computer science | |
Software Engineering | |
Compilers and Interpreters | |
Computer Science Logic and Foundations of Programming | |
Persona (resp. second.): | FischerBernd (Computer scientist) |
GeldenhuysJaco | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | Abstraction, refinement, translation -- Büchi automata and hashing -- Embedded systems -- Heuristics and benchmarks -- SAT/SMT- based approaches -- Software validation and verification. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Model Checking Software |
ISBN: | 3-319-23404-8 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484713603321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |