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. template-proofs template-proofs Public

    Template-based proofs of concurrent search structures.

    Coq 9 2

  3. raven raven Public

    An automated deductive program verifier based on concurrent separation logic

    OCaml 3

  4. notes notes Public

    TeX

  5. flows-iris flows-iris Public

    Formalization of the flow framework in Iris

    Makefile

  6. dsolve dsolve Public

    Patched version of dsolve (liquid types)

    HTML

Repositories

Showing 9 of 9 repositories
  • raven Public

    An automated deductive program verifier based on concurrent separation logic

    nyu-acsys/raven’s past year of commit activity
    OCaml 3 0 1 1 Updated Nov 22, 2024
  • raven-lang Public

    VSCode extension for the Raven verification language

    nyu-acsys/raven-lang’s past year of commit activity
    TypeScript 0 0 0 0 Updated Nov 22, 2024
  • drift Public

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

    nyu-acsys/drift’s past year of commit activity
    HTML 16 3 0 0 Updated Nov 14, 2024
  • template-proofs Public

    Template-based proofs of concurrent search structures.

    nyu-acsys/template-proofs’s past year of commit activity
    Coq 9 2 0 0 Updated Apr 23, 2024
  • fm-seminar-fa22 Public

    Formal Methods Seminar - Fall 2022

    nyu-acsys/fm-seminar-fa22’s past year of commit activity
    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

    nyu-acsys/krill’s past year of commit activity
    C++ 0 MIT 1 0 0 Updated Oct 25, 2022
  • dsolve Public

    Patched version of dsolve (liquid types)

    nyu-acsys/dsolve’s past year of commit activity
    HTML 0 0 0 0 Updated Apr 9, 2020
  • flows-iris Public

    Formalization of the flow framework in Iris

    nyu-acsys/flows-iris’s past year of commit activity
    Makefile 0 0 0 0 Updated Aug 30, 2019
  • notes Public
    nyu-acsys/notes’s past year of commit activity
    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.

Top languages

Loading…

Most used topics

Loading…