Deductive Software Verification - The KeY Book From Theory to Practice /

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visuali...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Ahrendt, Wolfgang (Editor), Beckert, Bernhard (Editor), Bubel, Richard (Editor), Hähnle, Reiner (Editor), Schmitt, Peter H. (Editor), Ulbrich, Mattias (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Series:Programming and Software Engineering, 10001
Subjects:
Software engineering.
Computer science.
Machine theory.
Compilers (Computer programs).
Artificial intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Artificial Intelligence.
Online Access:Texto Completo
Table of Contents:
  • Foundations
  • Specification and Verification
  • From Verification to Analysis
  • The KeY System in Action
  • Case Studies.

Similar Items