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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Fischer, Bernd (Editor), Geldenhuys, Jaco (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Theoretical Computer Science and General Issues, 9232
Subjects:
Software engineering.
Compilers (Computer programs).
Computer science.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo
Table of Contents:
  • Abstraction, refinement, translation
  • Büchi automata and hashing
  • Embedded systems
  • Heuristics and benchmarks
  • SAT/SMT- based approaches
  • Software validation and verification.

Similar Items