git-afsantos/hpl-specs git-afsantos/hpl-specs

  • Stars
    star
    2
  • Language
    Python
  • License
    MIT License
  • Created almost 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
git-afsantos/hpl-specs
github

git-afsantos

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

HAROS Property Specification Language

More Repositories

1

haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
Python
181
star
2

bonsai

Simplified interface for syntax trees and program models.
Python
12
star
3

haros_plugins

Plugin repository for the HAROS tool.
Python
7
star
4

haros_tutorials

Example code for a fictitious ROS robot to try out HAROS
C++
4
star
5

undo4j

Generic transaction support at application level for Java.
Java
4
star
6

um-phd-cover

LaTeX template for PhD Thesis covers following University of Minho style.
TeX
4
star
7

bake-a-py

Package template for Python projects.
Python
2
star
8

jTuples

Java gets a Pair.
Java
2
star
9

ros-modex

A model extraction and analysis tool for ROS systems
Python
2
star
10

ros_data

Repository for collected data on ROS software.
2
star
11

haros-case-studies

A collection of case studies of the HAROS framework.
1
star
12

hpl-rv-dashboard

Tools to manage RV monitors created from HPL
Jinja
1
star
13

hpl-rv-gen

Runtime monitor generator based on HPL properties
Python
1
star