Alternatives and similar repositories for teaching

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

• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆33Updated 6 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 11 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Updated this week
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated last week
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 5 months 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…
  ☆168Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 6 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 6 months ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆68Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated this week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• jayhorn / jayhorn
  Static checker for Java
  ☆88Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆187Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated 3 weeks ago
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆69Updated this week
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆139Updated 2 months ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆320Updated this week
• TorXakis / TorXakis
  A tool for Model Based Testing
  ☆49Updated 4 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆39Updated 3 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆50Updated 3 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆43Updated last year