python-monitors (pypi): A pure Python package to monitor formal specifications over temporal sequences
Keywords: monitoring|regular-expressions|runtime-verification|temporal-logic