Cover Image
Read Now

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

Full description

Bibliographic Details
Other Authors: Meyer, Bertrand (Editor), Nordio, Martin (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2012, 2012
Edition:1st ed. 2012
Series:Programming and Software Engineering
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Electronic Data Processing / Management
Formal Languages And Automata Theory
Machine Theory
It Operations
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items