Giters
NYU ACSys (nyu-acsys)

NYU ACSys

nyu-acsys

Geek Repo

NYU Analysis of Computer Systems (Formal Methods) group

Location:New York City, NY

Home Page:https://cs.nyu.edu/acsys/index.html

Github PK Tool:Github PK Tool

NYU ACSys's repositories

drift

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

Language:OCamlLicense:NOASSERTIONStargazers:15Issues:0Issues:0

template-proofs

Template-based proofs of concurrent search structures.

Language:CoqLicense:NOASSERTIONStargazers:8Issues:2Issues:0

dsolve

Patched version of dsolve (liquid types)

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

flows-iris

Formalization of the flow framework in Iris

Language:MakefileStargazers:0Issues:0Issues:0

fm-seminar-fa22

Formal Methods Seminar - Fall 2022

Stargazers:0Issues:0Issues:0

krill

Experimental tool for computing flow footprints for the flow graph updates

Language:C++License:MITStargazers:0Issues:0Issues:0

notes

Language:TeXStargazers:0Issues:0Issues:0