SunHuan321

SunHuan321's Stars

• uwdb/Cosette

  Cosette is an automated SQL solver.

  Language:Lean664437154

• Testing4AI/DeepJudge

  Code release for DeepJudge (S&P'22)

  Language:Python50117

• georgia-tech-db/spes

  Tool for checking whether two SQL queries are equivalent

  Language:Java333115

• Testing4AI/RobOT

  Code release for RobOT (ICSE'21)

  Language:Python14218

• caper-tool/caper

  The Caper tool for Automatic Verification for Fine-Grained Concurrency

  Language:Haskell5301

• CompSoftVer/CSim

  CSim^2 compositional verification framework

  Language:Isabelle42

• SunHuan321/uc-OS-verification

  Verification of memory management and mailbox module

  Language:Isabelle4100

• CompSoftVer/CSim2

  Language:Isabelle32

• SunHuan321/ReCore

  Language:Isabelle1100

• uw-unsat/nickel

  Language:C120