Alternatives and similar repositories for teaching:

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

• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆14Updated 3 weeks ago
• Universal-Variability-Language / uvl-parser
  ☆11Updated 7 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆28Updated this week
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• abstools / abstools
  The ABS modeling language and surrounding tools
  ☆37Updated last week
• 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…
  ☆153Updated last month
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆40Updated last year
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 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…
  ☆41Updated 3 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆132Updated this week
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆17Updated 8 months ago
• boalang / compiler
  The Boa language reference compiler.
  ☆33Updated 4 months ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 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…
  ☆26Updated 2 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 11 months ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 2 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆73Updated this week
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 7 months ago