A Monitoring Tool for a Branching-Time Logic.

Duncan Paul Attard Adrian Francalanza

Published in: RV (2016)

Keyphrases

epistemic logic
monitoring system
temporal logic
model checking
real time
modal logic
classical logic
social networks
logic programming
early warning
deontic logic
neural network
search engine
user friendly
asynchronous circuits
tool wear