Alternatives and similar repositories for memsynth:

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

• soarlab / FPTuner
  Rigorous Floating-Point Mixed-Precision Tuner
  ☆14Updated 4 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 8 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• SRI-CSL / l3riscv
  An executable specification of the RISCV ISA in L3.
  ☆41Updated 6 years ago
• GaloisInc / grift
  Galois RISC-V ISA Formal Tools
  ☆56Updated last year
• mangpo / greenthumb
  ☆86Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆11Updated 3 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last week
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆29Updated 4 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 4 years ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆12Updated 3 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 5 months ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆50Updated 4 years ago
• Aurele-Barriere / CoreJIT
  Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
  ☆11Updated 2 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago