Alternatives and similar repositories for CorC:

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

• SRI-CSL / PVS
  The People's Verification System
  ☆149Updated 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
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆54Updated last year
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated 2 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 2 weeks ago
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 2 weeks ago
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆48Updated last month
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 3 weeks ago
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 5 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 3 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated 2 weeks ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated 3 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 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
• arminbiere / runlim
  ☆16Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆117Updated 2 years ago
• softwarelanguageslab / maf
  Static Analysis Framework for Modular Analyses
  ☆12Updated 3 weeks ago
• GoelandProver / Goeland
  A first-order concurrent automated theorem prover
  ☆17Updated last month
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆42Updated 3 weeks ago
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆17Updated 3 months ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated this week
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated this week
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated this week
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆114Updated 3 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 5 months ago