Journal article icon

Journal article

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?

Abstract:

When monitoring a system wrt. a property defined in some temporal logic, e.g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that is, models of temporal logic formulae are usually infinite streams of events, whereas at runtime only prefixes are available. This work defines a four-valued semantics for LTL over finite traces, which extends the classical semantics, and allows to infer whether a system behaves (1) according to the monitored propert...

Expand abstract

Actions


Access Document


Publisher:
Springer
Journal:
RV More from this journal
Volume:
4839
Pages:
126-138
Publication date:
2007-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Language:
English
Pubs id:
pubs:332661
UUID:
uuid:ad051a4c-e6be-471a-9381-5fc620fde2d7
Local pid:
pubs:332661
Source identifiers:
332661
Deposit date:
2012-12-19

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP