Skip to content
@katamaran-project

katamaran-project

Pinned Loading

  1. katamaran Public

    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 fu…

    Coq 18 4

Repositories

Showing 7 of 7 repositories
  • sail-backend Public

    Katamaran backend for Sail

    OCaml 2 0 20 0 Updated Mar 25, 2025
  • katamaran Public

    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.

    Coq 18 4 19 0 Updated Mar 19, 2025
  • docker-ci Public
    Shell 0 0 0 0 Updated Feb 24, 2025
  • sail-minimal-caps Public
    Makefile 0 0 1 0 Updated May 4, 2023
  • katamaran-project.github.io Public
    HTML 0 0 0 0 Updated Apr 10, 2023
  • opam-repository Public
    0 0 0 0 Updated Jul 19, 2022
  • minimalcaps Public archive
    Coq 0 0 0 0 Updated May 20, 2022

Top languages

Loading…

Most used topics

Loading…