Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for symbolic execution separation logic
separation-logic
x
symbolic-execution
x
1 search results found
Katamaran
⭐
16
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.
Related Searches
Python Symbolic Execution (75)
Java Symbolic Execution (21)
Coq Separation Logic (11)
Unit Testing Symbolic Execution (5)
Java Separation Logic (4)
Testing Tools Symbolic Execution (4)
Coq Library Separation Logic (3)
Concurrency Separation Logic (3)
Iris Separation Logic (3)
Heap Separation Logic (3)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.