Repositories list

• drift

  Public
  An abstract-interpretation-based static analysis for inferring refinement types

  HTML

  •

  Other

  •3•16•0•0•Updated Mar 14, 2025Mar 14, 2025

• raven

  Public
  An automated deductive program verifier based on concurrent separation logic

  concurrencyverificationconcurrent-programming+ 5concurrent-data-structureseparation-logicautomated-reasoningdeductive-reasoningintermediate-verification-languages

  OCaml

  •

  Other

  •0•14•2•1•Updated Mar 14, 2025Mar 14, 2025

• raven-lang

  Public
  VSCode extension for the Raven verification language

  TypeScript

  •

  Other

  •0•1•0•0•Updated Feb 7, 2025Feb 7, 2025

• template-proofs

  Public
  Template-based proofs of concurrent search structures.

  coqproofsgrasshopper

  Coq

  •

  Other

  •2•9•0•0•Updated Jan 19, 2025Jan 19, 2025

• fm-seminar-fa22

  Public
  Formal Methods Seminar - Fall 2022

  0•0•0•0•Updated Nov 30, 2022Nov 30, 2022

• krill

  Public
  Experimental tool for computing flow footprints for the flow graph updates

  C++

  •

  MIT License

  •1•0•0•0•Updated Oct 25, 2022Oct 25, 2022

• dsolve

  Public
  Patched version of dsolve (liquid types)

  HTML

  •

  Other

  •0•0•0•0•Updated Apr 9, 2020Apr 9, 2020

• flows-iris

  Public
  Formalization of the flow framework in Iris

  Makefile

  •0•0•0•0•Updated Aug 30, 2019Aug 30, 2019

• notes

  Public
  TeX

  •0•0•0•0•Updated Feb 27, 2019Feb 27, 2019