Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "haros" keyword
rigel-hpl 0.1.0 💰
HAROS Property Specification Language1 version - Latest release: almost 2 years ago - 3 dependent repositories - 103 downloads last month - 3 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
haros-plugin-rv-gen 1.0.0
HAROS plugin to enable Runtime Verification from HPL properties5 versions - Latest release: 10 months ago - 1 dependent repositories - 39 downloads last month - 0 stars on GitHub - 1 maintainer
svros 1.0.1
Security Verification in ROS4 versions - Latest release: over 1 year ago - 32 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
ros
3
property-specification
2
parser
1
parsing
1
ast
1
behavior
1
domain-specific-language
1
liveness
1
message-passing
1
properties
1
safety
1
specification
1
specification-language
1
specification-pattern
1
runtime-verification
1
runtime-monitoring
1
runtime verification
1
runtime monitoring
1
code generation
1
python
1
sros2
1
ros2
1
model-checking
1
alloy
1
alloy-analyzer
1