A Counting Semantics for Monitoring LTL Specifications over Finite Traces.
Ezio BartocciRoderick BloemDejan NickovicFranz RöckPublished in: CAV (1) (2018)
Keyphrases
- bounded model checking
- linear temporal logic
- specification language
- control flow
- model checking
- operational semantics
- transition systems
- real time
- monitoring system
- formal language
- formal specification
- temporal logic
- formal semantics
- data flow
- model checker
- attribute grammars
- reactive systems
- high level
- early warning
- formal verification
- logical framework
- proof theory
- valued logic
- semantic information
- logic programming
- programming language
- complete axiomatization