Alternatives and similar repositories for teaching

Users that are interested in teaching are comparing it to the libraries listed below

• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆58Updated 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
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆163Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated 3 weeks ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆67Updated this week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆240Updated this week
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 5 months ago
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆39Updated 3 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆66Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆42Updated last month
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆44Updated last year
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated this week
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 10 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆50Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated 3 months ago
• jayhorn / jayhorn
  Static checker for Java
  ☆88Updated 10 months ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated last month
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆318Updated 3 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated last week
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆25Updated 3 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago