fgarnier/SSL_lib
This library implements the Simple Separation Logic abstract domain.
Developer Profile
fgarnier
Discovered public repositories for fgarnier in the GitHub catalog.
fgarnier/c2s
Public repository.
fgarnier/flatac
Public repository.
fgarnier/NTSLib
http://richmodels.epfl.ch/ntscomp
fgarnier/Ocaml-nts
This library is an implementation of the Numerical transition library, in the OCaml Language.
fgarnier/Nts_benchmarks
This repository contains a benchmark suite to demonstrate the possibilities offered by the Numerical Transition Library. All material is open source and is released under the LGPL v2 licence.