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 this week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆28Updated 2 weeks ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• Universal-Variability-Language / uvl-parser
  ☆11Updated 7 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• joliebig / featurehouse
  language independent software composition and merging
  ☆31Updated 8 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated this week
• 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
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆24Updated 11 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆224Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 7 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 7 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated last week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆219Updated this week