Skip to content
@nyu-acsys

NYU ACSys

NYU Analysis of Computer Systems (Formal Methods) group

Popular repositories Loading

  1. drift drift Public

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

    HTML 16 3

  2. raven raven Public

    An automated deductive program verifier based on concurrent separation logic

    OCaml 14 1

  3. template-proofs template-proofs Public

    Template-based proofs of concurrent search structures.

    Coq 9 2

  4. raven-lang raven-lang Public

    VSCode extension for the Raven verification language

    TypeScript 1

  5. notes notes Public

    TeX

  6. flows-iris flows-iris Public

    Formalization of the flow framework in Iris

    Makefile

Repositories

Showing 9 of 9 repositories
  • raven Public

    An automated deductive program verifier based on concurrent separation logic

    OCaml 14 1 2 1 Updated Apr 21, 2025
  • drift Public

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

    HTML 16 3 0 0 Updated Apr 8, 2025
  • raven-lang Public

    VSCode extension for the Raven verification language

    TypeScript 1 0 0 0 Updated Feb 7, 2025
  • template-proofs Public

    Template-based proofs of concurrent search structures.

    Coq 9 2 0 0 Updated Jan 19, 2025
  • fm-seminar-fa22 Public

    Formal Methods Seminar - Fall 2022

    0 0 0 0 Updated Nov 30, 2022
  • krill Public Forked from Wolff09/plankton

    Experimental tool for computing flow footprints for the flow graph updates

    C++ 0 MIT 1 0 0 Updated Oct 25, 2022
  • dsolve Public

    Patched version of dsolve (liquid types)

    HTML 0 0 0 0 Updated Apr 9, 2020
  • flows-iris Public

    Formalization of the flow framework in Iris

    Makefile 0 0 0 0 Updated Aug 30, 2019
  • notes Public
    TeX 0 0 0 0 Updated Feb 27, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.