Alternatives and similar repositories for BME-MODES3

Users that are interested in BME-MODES3 are comparing it to the libraries listed below

• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• rosmod / webgme-rosmod
  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…
  ☆17Updated last month
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated last week
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 11 years ago
• zarev / Visual-Odometry
  Monocular Visual Odometry in Python
  ☆17Updated 8 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated this week
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆39Updated 3 months ago
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 6 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆55Updated this week
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• johnyf / tool_lists
  Links to tools by subject
  ☆377Updated last year
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆24Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 3 months ago
• AmosLewis / Awesome-Robotics
  Robotics Learning Note
  ☆11Updated 7 years ago
• carlren / VisionTools
  A set of computer vision tools
  ☆10Updated 10 years ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆36Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated last week
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆182Updated 9 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated 2 weeks ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• xipengwang / FLAG
  Robot Localization
  ☆16Updated 6 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• StevenSLXie / Particle-Filter
  C Implementations of Particle Filter
  ☆16Updated 11 years ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• nhatao / mo_tracker
  People tracking software using laser range scanner
  ☆10Updated 10 years ago
• TelluIoT / ThingML
  The ThingML modelling language
  ☆108Updated last year
• LCAD-UFES / carmen_lcad
  Version of the carmen robot framework developed by LCAD for IARA - Intelligent Autonomous Robotic Autonomobile.
  ☆67Updated last week
• kky-fury / Lane_Detection
  High Performance Lane Detection using Computer Vision and CUDA.
  ☆16Updated 8 years ago
• MichalNowicki / CalibrationCodes
  Codes of different calibration routines: IMU vs CAMERA, CAMERA vs LASER, Ground truth camera vs earth's cs
  ☆15Updated 11 years ago