Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bosnacki, Dragan (Editor ), Edelkamp, Stefan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4595
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • StackSnuffer: Curing Orion's Unsoundness
  • Tutorial: Parallel Model Checking
  • Local Abstraction-Refinement for the mu-Calculus
  • Minimal Counterexample Generation for SPIN
  • Generating Counter-Examples Through Randomized Guided Search
  • Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software
  • Some Solutions to the Ignoring Problem
  • Cartesian Partial-Order Reduction
  • On-the-Fly Dynamic Dead Variable Analysis
  • SAT-Based Summarization for Boolean Programs
  • LTL Satisfiability Checking
  • An Embeddable Virtual Machine for State Space Generation
  • Scalable Multi-core LTL Model-Checking
  • A SystemC/TLM Semantics in Promela and Its Possible Applications
  • Towards Model Checking Spatial Properties with SPIN
  • Model Extraction for ARINC 653 Based Avionics Software
  • BEEM: Benchmarks for Explicit Model Checkers
  • C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
  • ACSAR: Software Model Checking with Transfinite Refinement
  • Instrumenting C Programs with Nested Word Monitors.

Ejemplares similares