Active Monitoring using Real-time Metric Linear Temporal Logic Specifications.

Gabor Simko Janos Sztipanovits

Published in: HEALTHINF (2012)

Keyphrases

real time
linear temporal logic
bounded model checking
temporal logic
model checking
formal specification
monitoring system
transition systems
activity monitoring
situational awareness
health monitoring
domain specific
real time systems
formal verification
complex event processing
concurrent systems