Alternatives and similar repositories for VarexJ

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

• wslee / duet
  ☆20Updated 6 months ago
• reudismam / Refazer
  ☆10Updated 6 years ago
• 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
• 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
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆25Updated 4 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 3 months ago
• asolarlez / sketch-backend
  ☆46Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 2 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆37Updated this week
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆274Updated last month
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆172Updated last month
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 2 weeks ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆217Updated 2 months ago
• hipsleek / hipsleek
  ☆12Updated 8 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated 3 weeks ago
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆13Updated 2 years ago
• DDiekmann / Applied-Verification-Lab-Neural-Networks
  Some tutorials for different approaches to verify neural networks.
  ☆12Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 6 months ago
• agurfinkel / spacer-on-jupyter
  ☆19Updated 2 years ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆108Updated last week
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 3 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆41Updated 2 years ago
• 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
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago