git-afsantos/haros_tutorials git-afsantos/haros_tutorials

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C++
  • License
    MIT License
  • Created almost 8 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
git-afsantos/haros_tutorials
github

git-afsantos

Reviews

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

Repository Details

Example code for a fictitious ROS robot to try out HAROS

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

undo4j

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

um-phd-cover

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

bake-a-py

Package template for Python projects.
Python
2
star
7

jTuples

Java gets a Pair.
Java
2
star
8

hpl-specs

HAROS Property Specification Language
Python
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