katamaran-project
Results
1
repositories owned by
katamaran-project
katamaran
16
Stars
3
Forks
Watchers
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 funct...
