Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq library separation logic
coq-library
x
separation-logic
x
2 search results found
Disel
⭐
92
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Fcsl Pcm
⭐
22
Partial Commutative Monoids
Related Searches
Coq Separation Logic (11)
Ocaml Coq Library (4)
Java Separation Logic (4)
Mathematics Coq Library (3)
Concurrency Separation Logic (3)
Symbolic Execution Separation Logic (3)
Iris Separation Logic (3)
Heap Separation Logic (3)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.