Impartial Anticipation in Runtime-Verification.
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 fram...
Principais autores: | Dong, W, Leucker, M, Schallhart, C |
---|---|
Outros Autores: | Cha, S |
Formato: | Journal article |
Idioma: | English |
Publicado em: |
Springer
2008
|
Registros relacionados
-
A brief account of runtime verification.
por: Leucker, M, et al.
Publicado em: (2009) -
Runtime Verification for LTL and TLTL.
por: Bauer, A, et al.
Publicado em: (2011) -
Comparing LTL Semantics for Runtime Verification.
por: Bauer, A, et al.
Publicado em: (2010) -
Model-based runtime analysis of distributed reactive systems.
por: Bauer, A, et al.
Publicado em: (2006) -
Runtime verification for stochastic systems
por: Wilcox, Cristina M
Publicado em: (2010)