Skip to content
/ disel Public

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

License

BSD-2-Clause license
98 stars 7 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

DistributedComponents/disel

Error
Looks like something went wrong!

About

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Topics

distributed-systems coq proof separation-logic coq-library two-phase-commit ssreflect mathcomp

Resources

Readme

License

BSD-2-Clause license
Activity
Custom properties

Stars

98 stars

Watchers

12 watching

Forks

7 forks
Report repository

Releases 6

Disel 2.3 maintenance release Latest
Nov 28, 2022
+ 5 releases

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages