LVPGroup / fpp

Related projects: ⓘ

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆193Updated 2 years ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆61Updated last week
• tpchina / tpchina.github.io
  ☆15Updated last year
• Boolector / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆39Updated 2 weeks ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆17Updated last month
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆51Updated 9 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆27Updated last year
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated 3 weeks ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 3 years ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆75Updated last week
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆68Updated this week
• FP-Analysis / atomic-condition
  ☆21Updated 4 years ago
• JunjieChen / HiCOND
  ☆9Updated 5 years ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆12Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆22Updated 4 months ago
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆13Updated 2 months ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 11 months ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆79Updated last year
• namasikanam / raft-spin
  A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
  ☆12Updated 3 years ago
• shaowei-cai-group / z3pp
  ☆44Updated 5 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated last year
• UniCodeSphere / Creal
  ☆25Updated 3 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆28Updated 5 months ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆35Updated this week
• kisslune / POCR
  ☆11Updated 3 months ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆13Updated this week
• thufv / Deagle
  ☆15Updated 5 months ago
• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆53Updated last year
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 2 years ago