Cargando…
Towards Automated Performance Analysis of Programs by Runtime Verification
This thesis makes a contribution to the field of Runtime Verification, a $lightweight$ formal method for the analysis of computational systems. The contribution is made in multiple parts. First, a new language is introduced for the specification of properties at the source code level of programs....
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2766727 |