Pinned Repositories
katamaran
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
katamaran-project.github.io
minimalcaps
opam-repository
sail-backend
Katamaran backend for Sail
sail-minimal-caps
katamaran-project's Repositories
katamaran-project/katamaran
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
katamaran-project/sail-backend
Katamaran backend for Sail
katamaran-project/katamaran-project.github.io
katamaran-project/minimalcaps
katamaran-project/opam-repository
katamaran-project/sail-minimal-caps