Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /

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 submi...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Fischer, Bernd (Éditeur intellectuel), Geldenhuys, Jaco (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:1st ed. 2015.
Collection:Theoretical Computer Science and General Issues, 9232
Sujets:
Software engineering.
Compilers (Computer programs).
Computer science.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Accès en ligne:Texto Completo
Table des matières:
  • Abstraction, refinement, translation
  • Büchi automata and hashing
  • Embedded systems
  • Heuristics and benchmarks
  • SAT/SMT- based approaches
  • Software validation and verification.

Documents similaires