Alternatives and similar repositories for BME-MODES3

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

• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 2 months ago
• rosmod / webgme-rosmod
  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…
  ☆17Updated 2 weeks ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 8 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆60Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated last month
• johnyf / tool_lists
  Links to tools by subject
  ☆383Updated last year
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆34Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Updated last week
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆157Updated this week
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 11 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆211Updated 8 months ago
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 5 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• AmosLewis / Awesome-Robotics
  Robotics Learning Note
  ☆11Updated 7 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆13Updated 5 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆102Updated last year
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆120Updated 2 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆251Updated this week
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆27Updated last month
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆123Updated 2 weeks ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 4 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆236Updated this week
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated 2 weeks ago
• vancegroup / eigen-kalman
  Unmaintained - Kalman-style filter library building on the Eigen matrix math library
  ☆18Updated 13 years ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆18Updated 2 years ago