You must be logged in to sponsor doganulus
Become a sponsor to Doğan Ulus
Developing runtime verification tools for real-time systems.
1 sponsor has funded doganulus’s work.
Featured work
-
doganulus/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
C++ 41 -
doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Shell 8 -
doganulus/python-monitors
A pure Python package to monitor formal specifications over temporal sequences
Python 17 -
doganulus/montre
The original timed regular expression matcher over temporal behaviors
C++ 15 -
doganulus/timedrel
A header-only C++ library that implements the algebra of timed relations + Python bindings
C++ 2