Provably Correct Runtime Monitoring.

Irem Aktug Mads Dam Dilian Gurov

Published in: FM (2008)

Keyphrases

provably correct
situation calculus
monitoring system
formal methods
real time
case study
database systems
data acquisition
early warning
error estimates
data mining
knowledge base
data model
interval arithmetic