Cargando…
Formal verification - Robust and efficient code: Introduction to Formal Verification
<!--HTML-->LECTURE 1: We will establish two general approaches to FV and where they are applicable: model checking and theorem proving. We will explore the latter in more details and have a brief look at the underlying theory, predicate logic. We will see how this family of logic systems can b...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2135804 |