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: | , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2019
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2699296 |
| Sumario: | 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. |
|---|