Rigorous Software Development An Introduction to Program Verification /

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathem...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Almeida, José Bacelar (Autor), Frade, Maria João (Autor), Pinto, Jorge Sousa (Autor), Melo de Sousa, Simão (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Undergraduate Topics in Computer Science,
Temas:
Software engineering.
Computer science.
Computer science > Mathematics.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Symbolic and Algebraic Manipulation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • List of Figures
  • 1. Introduction
  • 2. An Overview of Formal Methods Tools and Techniques
  • 3. Propositional Logic
  • 4. First-Order Logic
  • 5. Hoare Logic
  • 6. Generating Verification Conditions
  • 7. Safety Properties
  • 8. Procedures and Contracts
  • 9. Specifying C Programs
  • 10. Verifying C Programs
  • Bibliography
  • Index.

Ejemplares similares