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...
Κύριοι συγγραφείς: | Dong, W, Leucker, M, Schallhart, C |
---|---|
Άλλοι συγγραφείς: | Cha, S |
Μορφή: | Journal article |
Γλώσσα: | English |
Έκδοση: |
Springer
2008
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
A brief account of runtime verification.
ανά: Leucker, M, κ.ά.
Έκδοση: (2009) -
Runtime Verification for LTL and TLTL.
ανά: Bauer, A, κ.ά.
Έκδοση: (2011) -
Comparing LTL Semantics for Runtime Verification.
ανά: Bauer, A, κ.ά.
Έκδοση: (2010) -
Model-based runtime analysis of distributed reactive systems.
ανά: Bauer, A, κ.ά.
Έκδοση: (2006) -
Runtime verification for stochastic systems
ανά: Wilcox, Cristina M
Έκδοση: (2010)