A Counting Semantics for Monitoring LTL Specifications over Finite Traces.
Ezio BartocciRoderick BloemDejan NickovicFranz RöckPublished in: CoRR (2018)
Keyphrases
- semantic information
- bounded model checking
- linear temporal logic
- high level
- model checking
- transition systems
- monitoring system
- metadata
- real time
- temporal logic
- specification language
- concurrent systems
- formal specification
- deterministic automata
- finite automata
- execution traces
- knowledge base
- formal verification
- control flow
- formal language
- logic programming
- data model
- monadic datalog