Cargando…
Formal Verification - Robust and Efficient code: Why Formal Verification
<!--HTML--><p>LECTURE 2: In this lecture we will expand on the concepts of the previous lecture and establish formal methods in a broader context, ignoring implementation detail, and investigate how and where these methods are used today, and where they might be used tomorrow. As concret...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2135867 |