Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /

The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Meyer, Bertrand (Editor ), Nordio, Martin (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7682
Temas:
Software engineering.
Computer science.
Computer programming.
Compilers (Computer programs).
Machine theory.
Electronic data processing-Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Compilers and Interpreters.
Formal Languages and Automata Theory.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Model Checking and the State Explosion Problem
  • From Program to Logic: An Introduction
  • Introduction to the Coq Proof-Assistant for Practical Software Verification
  • Advanced Theorem Proving Techniques in PVS and Applications
  • Automatic Verification of Advanced Object-Oriented Features:
  • The AutoProof Approach
  • Using Dafny, an Automatic Program Verifier.

Ejemplares similares