Static analysis and verification of aerospace software by abstract interpretation

This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.

Detalles Bibliográficos
Autores principales: Julien Bertrane, Julien, Patrick Cousot, Patrick, Radhia Cousot, Radhia, Jérôme Feret, Jérôme, Laurent Mauborgne, Laurent, Miné, Antoine, Xavier Rival, Xavier
Lenguaje:eng
Publicado: Now Publishers 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762196
Descripción
Sumario:This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.

Ejemplares similares