Journal article
Runtime Verification for LTL and TLTL.
- Abstract:
-
This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking and testing, respectively. It introduces a three-valued semantics (with truth values true, false, inconclusive) as an adequate interpretation as to whether a partial observation of a running system meets an LTL or TLTL property. For LTL, a conceptual...
Expand abstract
Actions
Authors
Bibliographic Details
- Journal:
- ACM Trans. Softw. Eng. Methodol.
- Volume:
- 20
- Issue:
- 4
- Pages:
- 14-14
- Publication date:
- 2011-01-01
- DOI:
- EISSN:
-
1557-7392
- ISSN:
-
1049-331X
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
pubs:332654
- UUID:
-
uuid:68149609-5c67-49d1-ba69-192ced2aaa6f
- Local pid:
- pubs:332654
- Source identifiers:
-
332654
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2011
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record