A carregar...
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
Runtime monitors for rich specification languages are sophisticated algorithms, especially when they are heavily optimized. To gain trust in them and safely explore the space of possible optimizations, it is important to verify the monitors themselves. We describe the development and correctness pro...
Na minha lista:
| Publicado no: | Automated Reasoning |
|---|---|
| Main Authors: | , , , , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324294/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51074-9_25 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|