Cargando…
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.
Autores principales: | Ringer, Talia, Palmskog, Karl, Sergey, Ilya, Gligoric, Milos, Tatlock, Zachary |
---|---|
Lenguaje: | eng |
Publicado: |
Now Publishers
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2699296 |
Ejemplares similares
-
Practical Machine-Checked Formalization of Change Impact Analysis
por: Palmskog, Karl, et al.
Publicado: (2020) -
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017) -
A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986) -
Privately and publicly verifiable computing techniques: a survey
por: Demirel, Denise, et al.
Publicado: (2017) -
Creating a software engineering culture
por: Wiegers, Karl Eugene
Publicado: (1996)