Model Checking Software [[electronic resource] ] : 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.: 996200360803316
• Lo trovi qui: Univ. di Salerno
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 9232