Efficient Runtime Monitoring of Temporal Properties over Out-of-Order Event Streams

POL´IMON is a tool for efficiently monitoring system behavior at runtime against specifications expressed as formulas in the real-time logic MTL or its extension with the freeze quantifier, even when the input event streams are received out of order.