GitHub / doganulus / python-monitors
A pure Python package to monitor formal specifications over temporal sequences
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fpython-monitors
Stars: 17
Forks: 5
Open issues: 0
License: gpl-3.0
Language: Python
Size: 43.9 MB
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: 4 months ago
Pushed at: over 5 years ago
Last synced at: 23 days ago
Topics: monitoring, regular-expressions, runtime-verification, temporal-logic
Funding Links https://github.com/sponsors/doganulus
Loading...