Cargando…
Specification of temporal properties of functions for runtime verification
Runtime verification (RV) is the process of checking whether a run of a computer system satisfies a specification. RV techniques often utilise specification languages that are (i) reasonably expressive, and (ii) relatively abstract (i.e. they operate on a level of abstraction separating them from th...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2019
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1145/3297280.3297497 http://cds.cern.ch/record/2836154 |