Alternatives and similar repositories for teaching

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

• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆14Updated 2 weeks ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated this week
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 3 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 2 weeks 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…
  ☆158Updated last week
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆309Updated this week
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 8 months ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆41Updated last year
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated 2 weeks ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆37Updated 2 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆228Updated 3 weeks ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• johnyf / tool_lists
  Links to tools by subject
  ☆378Updated last year
• margaretstorey / EmseUvic2020
  ☆36Updated 4 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆81Updated 10 months ago
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 6 months ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated 3 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆100Updated 9 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆62Updated 3 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆222Updated this week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated last week