Sign in
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.
Davide Ancona
Angelo Ferrando
Viviana Mascardi
Published in:
Theory and Practice of Formal Methods (2016)
Keyphrases
</>
linear temporal logic
model checking
bounded model checking
temporal logic
formal verification
linear time temporal logic
model checker
concurrent systems
facial expressions
finite state
formal methods
reinforcement learning
formal specification
machine learning
multi agent systems