Alternatives and similar repositories for teaching

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

• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 2 weeks ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• Universal-Variability-Language / uvl-parser
  ☆11Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated 3 weeks ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆53Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated 10 months 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…
  ☆160Updated last month
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated this week
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆227Updated this week
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 3 weeks ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆247Updated 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
• jayhorn / jayhorn
  Static checker for Java
  ☆87Updated 7 months ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated 2 weeks ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆11Updated 2 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆63Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆227Updated this week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated 2 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆175Updated 3 weeks ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated last month
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated this week
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆133Updated 5 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• CinCoders / cs-deadlines
  CS Deadlines - Top CS Conferences deadlines
  ☆11Updated 8 months ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆39Updated 3 years ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated last month