Alternatives and similar repositories for z-eves

Users that are interested in z-eves are comparing it to the libraries listed below

• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 11 months ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆32Updated 4 years ago
• vrjuliao / sml-vscode-extension
  VSCode plugin for Standard ML
  ☆40Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 5 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• lac-dcc / wyvern
  Automatic conversion of call by value into call by need in the LLVM IR.
  ☆61Updated 2 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆44Updated 4 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated last week
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• malyzajko / daisy
  ☆51Updated 7 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 8 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆80Updated 3 weeks ago
• seahorn / verify-c-common
  ☆20Updated last year
• formalsec / wasp
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆16Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆72Updated 2 weeks ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• meelgroup / barbarik
  The first efficient procedure to test whether a sampler is uniform
  ☆13Updated 10 months ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆98Updated 2 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆37Updated 10 months ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 5 years ago
• LindenRegex / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆20Updated 3 weeks ago
• JonnyWalker / PySNES
  ☆10Updated 6 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Updated this week
• PrincetonUniversity / compcomp
  Compositional CompCert
  ☆14Updated 7 years ago