Impartial Anticipation in Runtime-Verification
| Autor: | Dong, W, Leucker, M, Schallhart, C, Cha, SD, Choi, J-Y, Kim, M, Lee, I, Viswanathan, M |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2008 |
| Zdroj: | ATVA. 5311 |
| ISSN: | 1611-3349 0302-9743 |
| Popis: | In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-valued semantics is introduced reflecting the idea that prefixes of infinite computations are checked. Then a conceptual framework to synthesize monitors from a logical specification to check an execution incrementally is established, with special focus on resorting to the automata-theoretic approach. The merits of the presented framework are shown by providing monitor synthesis approaches for a variety of different logics such as LTL, the linear-time μ-calculus, PLTLmod, SiS, and RLTL. © 2008 Springer Berlin Heidelberg. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|