Alternatives and similar repositories for teaching

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

• Universal-Variability-Language / uvl-parser
  UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…
  ☆11Updated last month
• 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…
  ☆162Updated this week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆15Updated this week
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 3 months ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated 3 weeks ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated last week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated last month
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated 3 weeks ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated last week
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 2 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated last week
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆74Updated 5 years 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
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last month
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• caterinaurban / Lyra
  ☆30Updated 2 months ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆316Updated last month
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆24Updated 5 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago