katamaran
katamaran copied to clipboard
Published
20 hours ago •
katamaran-project
katamaran-project
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...
Metadata
16
Stars
3
Forks
Watchers
Owner
katamaran-project
Metadata
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...