approximation, network monitors, predicate logic2, runtime verification, space complexity2, Stream Monitoring.
