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...
Main Authors: | Dong, W, Leucker, M, Schallhart, C |
---|---|
מחברים אחרים: | Cha, S |
פורמט: | Journal article |
שפה: | English |
יצא לאור: |
Springer
2008
|
פריטים דומים
-
A brief account of runtime verification.
מאת: Leucker, M, et al.
יצא לאור: (2009) -
Runtime Verification for LTL and TLTL.
מאת: Bauer, A, et al.
יצא לאור: (2011) -
Comparing LTL Semantics for Runtime Verification.
מאת: Bauer, A, et al.
יצא לאור: (2010) -
Model-based runtime analysis of distributed reactive systems.
מאת: Bauer, A, et al.
יצא לאור: (2006) -
Runtime verification for stochastic systems
מאת: Wilcox, Cristina M
יצא לאור: (2010)