Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "runtime-verification" keyword
reelay 0.0.1 💰
Runtime verification package using formal specifications4 versions - Latest release: over 6 years ago - 1 dependent repositories - 26 downloads last month - 29 stars on GitHub - 1 maintainer
hpl-rv-gen 0.2.0 💰
Runtime monitor generator based on HPL properties6 versions - Latest release: over 2 years ago - 1 dependent package - 2 dependent repositories - 59 downloads last month - 1 stars on GitHub - 1 maintainer
moonlight 0.3.1
Moonlight python wrapper19 versions - Latest release: 4 months ago - 1 dependent repositories - 112 downloads last month - 12 stars on GitHub - 1 maintainer
python-monitors 0.1.1 💰
A pure Python package to monitor formal specifications over temporal sequences2 versions - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 84 downloads last month - 15 stars on GitHub - 1 maintainer
hpl-rv 1.2.0
Tools to enable Runtime Verification from HPL properties4 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 46 downloads last month - 1 stars on GitHub - 1 maintainer
hpl-rv-ros 1.1.0
Runtime Verification tools for ROS systems3 versions - Latest release: 9 months ago - 1 dependent package - 31 downloads last month - 2 stars on GitHub - 1 maintainer
Related Keywords
code-generation
2
code generation
2
runtime monitoring
2
temporal-logic
2
verification
2
runtime verification
2
ros
2
monitoring
2
ros2
1
quality-assurance
1
safety-monitoring
1
regular-expressions
1
spatio-temporal-logic
1
automated-monitoring
1
runtime-monitoring
1
haros
1
system-verification
1
stream-processing
1
header-only
1
formal-methods
1
cyber-physical-systems
1
assertion-library
1