HenriqueMisson

HenriqueMisson's Stars

• lgwagner/SpeAR

  Specification and Analysis for Requirements Tool

  Language:Java204

• juliomoreira666/site-do-zero

  Language:HTML114146

• yrke/tgstota

  Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)

  Language:Java1

• pehladik/tasks_generator_uppaal

  Language:Python1

• jgoppert/px4vv

  PX4 + Model Checking

  Language:C21

• miccol/ROS-Behavior-Tree

  Behavior Trees Library for ROS (Robot Operating System). In C++ and python

  Language:C++35192

• boschresearch/ros1_tracetools

  Tracing tools for ROS

  Language:C++356

• ros/ros_comm

  ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).

  Language:Python769914

• tuxology/tracevizlab

  Trace visualization tutorials for Trace Compass

  Language:C8422

• rosmod/webgme-rosmod

  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distributed embedded applications built using ROS

  Language:JavaScript157

• finger563/webgme-hfsm

  Metamodel, visualization, simulation, and code generation for Hierarchical Finite State Machines (HFSMs) following the UML State Machine spec.

  Language:C++4917

• git-afsantos/haros

  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.

  Language:Python19237

• pietrodn/px4_gazebo_docker

  Docker image to run PX4 Gazebo SITL simulation

  Language:Dockerfile31

• rahulvasaikar/Bag-of-words

  Implementing bag of words from scratch and by scikit-learn

  Language:Jupyter Notebook148

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  50638

• ethz-asl/rotors_simulator

  RotorS is a UAV gazebo simulator

  Language:C++1.3k769

• intel/collision-avoidance-library

  A framework for testing and benchmarking collision avoidance strategies

  Language:C++8238

• PX4/PX4-Avoidance

  PX4 avoidance ROS node for obstacle detection and avoidance.

  Language:C++642335

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1.5k

• antalsz/hs-to-coq

  Convert Haskell source code to Coq source code

  Language:Coq27927

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell66157

• mwshinn/paranoidscientist

  Runtime software verification and automated testing for scientific software in Python

  Language:Python923

• PRETgroup/easy-rv

  Toolchain to automatically generate and verify SW runtime monitors (in C) from text-based FSM

  Language:Go12

• havelund/dejavu

  The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

  Language:Scala184

• autonomy-and-verification-uol/ROSMonitoring

  ROSMonitoring: a Runtime Verification Framework for ROS

  Language:Python376

• ApolloAuto/apollo

  An open autonomous driving platform

  Language:C++25.4k9.7k

• llSourcell/Learn_Machine_Learning_in_3_Months

  This is the code for "Learn Machine Learning in 3 Months" by Siraj Raval on Youtube

  7.6k2.4k

• drschilling/keras-mnist-workshop

  Image Classification workshop using Keras with the MNIST dataset

  Language:Python1211

• doganulus/reelay-codegen

  A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

  Language:Python61

• ndrplz/self-driving-car

  Udacity Self-Driving Car Engineer Nanodegree projects.

  Language:C++2.8k1.4k