The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
When monitoring a system wrt. a property defined in some temporal logic, e.g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that is, models of temporal logic formulae are usually infinite streams of events, whereas at runtime only prefixes are availa...
| Main Authors: | , , |
|---|---|
| Outros Autores: | |
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
Springer
2007
|