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.

https://katamaran-project.github.io/

Geek Repo

Github PK Tool