https://github.com/doganulus/reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
https://github.com/doganulus/reelay-codegen
code-generation data-stream formal-specification monitoring monitoring-tool regular-expression runtime-verification stream-processing temporal-data temporal-logic
Last synced: 9 months ago
JSON representation
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
- Host: GitHub
- URL: https://github.com/doganulus/reelay-codegen
- Owner: doganulus
- License: gpl-3.0
- Created: 2017-12-05T00:41:15.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2019-12-20T03:01:24.000Z (about 6 years ago)
- Last Synced: 2024-05-02T01:07:22.345Z (over 1 year ago)
- Topics: code-generation, data-stream, formal-specification, monitoring, monitoring-tool, regular-expression, runtime-verification, stream-processing, temporal-data, temporal-logic
- Language: Python
- Homepage:
- Size: 7.87 MB
- Stars: 6
- Watchers: 3
- Forks: 1
- Open Issues: 0