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
• Universal-Variability-Language / uvl-parser
  UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…
  ☆13Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 3 weeks ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆140Updated this week
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 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…
  ☆168Updated 2 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• 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 2 months ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆69Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆33Updated 6 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated last week
• 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
• cmuvariability / PaperReadingGroup
  ☆10Updated 11 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆43Updated 2 years ago
• TorXakis / TorXakis
  A tool for Model Based Testing
  ☆49Updated 5 months ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆321Updated last week
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆39Updated 3 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆50Updated 4 months ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆30Updated 2 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆160Updated this week
• opalj / opal
  ☆74Updated 2 weeks ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 4 months ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 6 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated 2 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆44Updated 4 years ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆12Updated 2 years ago