Alternatives and similar repositories for fpp:

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

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆202Updated 2 years ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆14Updated last month
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 9 months ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆23Updated 11 months ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆56Updated 9 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 3 weeks ago
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆21Updated 7 months ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆66Updated 2 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆167Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆24Updated last month
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated this week
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆90Updated last week
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• hwmcc / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆41Updated 2 months ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆64Updated last year
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆76Updated 3 months ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated 2 months ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆80Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆84Updated this week
• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated 2 months ago
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆13Updated 9 months ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week