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
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆50Updated 4 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated last week
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 9 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 7 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆188Updated 4 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated last week
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated last week
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆33Updated 3 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Updated 2 weeks ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Updated last month
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• johnyf / tool_lists
  Links to tools by subject
  ☆388Updated last year
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 3 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆36Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆102Updated this week
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆213Updated this week
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆431Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆33Updated 6 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆134Updated 2 years ago
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆45Updated 3 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆35Updated this week
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• caterinaurban / Libra
  ☆24Updated 4 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated this week
• squaresLab / footpatch
  ☆15Updated 6 years ago
• dozmus / antlr4-macro
  Macro pre-processor definitions for ANTLR4 written using ANTLR4 :-)
  ☆12Updated 7 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆72Updated 2 years ago