QED at large: a survey of engineering of formally verified software

This monograph provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.

Detalles Bibliográficos
Autores principales: Ringer, Talia, Palmskog, Karl, Sergey, Ilya, Gligoric, Milos, Tatlock, Zachary
Lenguaje:eng
Publicado: Now Publishers 2019
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2699296
_version_ 1780964387391012864
author Ringer, Talia
Palmskog, Karl
Sergey, Ilya
Gligoric, Milos
Tatlock, Zachary
author_facet Ringer, Talia
Palmskog, Karl
Sergey, Ilya
Gligoric, Milos
Tatlock, Zachary
author_sort Ringer, Talia
collection CERN
description This monograph provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.
id cern-2699296
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Now Publishers
record_format invenio
spelling cern-26992962021-04-21T18:16:58Zhttp://cds.cern.ch/record/2699296engRinger, TaliaPalmskog, KarlSergey, IlyaGligoric, MilosTatlock, ZacharyQED at large: a survey of engineering of formally verified softwareComputing and ComputersThis monograph provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.Now Publishersoai:cds.cern.ch:26992962019
spellingShingle Computing and Computers
Ringer, Talia
Palmskog, Karl
Sergey, Ilya
Gligoric, Milos
Tatlock, Zachary
QED at large: a survey of engineering of formally verified software
title QED at large: a survey of engineering of formally verified software
title_full QED at large: a survey of engineering of formally verified software
title_fullStr QED at large: a survey of engineering of formally verified software
title_full_unstemmed QED at large: a survey of engineering of formally verified software
title_short QED at large: a survey of engineering of formally verified software
title_sort qed at large: a survey of engineering of formally verified software
topic Computing and Computers
url http://cds.cern.ch/record/2699296
work_keys_str_mv AT ringertalia qedatlargeasurveyofengineeringofformallyverifiedsoftware
AT palmskogkarl qedatlargeasurveyofengineeringofformallyverifiedsoftware
AT sergeyilya qedatlargeasurveyofengineeringofformallyverifiedsoftware
AT gligoricmilos qedatlargeasurveyofengineeringofformallyverifiedsoftware
AT tatlockzachary qedatlargeasurveyofengineeringofformallyverifiedsoftware

Ejemplares similares