GitHub repository: nickovic/rtamt
Primary language: Python
Description: Specification-based real-time monitoring library