vrahli/Velisarios vrahli/Velisarios

  • Stars
    star
    26
  • Rank 930,752 (Top 19 %)
  • Language Coq
  • License
    GNU General Publi...
  • Created almost 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vrahli/Velisarios
github

vrahli

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems

More Repositories

1

NuprlInCoq

Implementation of Nuprl's type theory in Coq
Coq
44
star
2

damysus

C++
10
star
3

opentt

Agda
6
star
4

EventML

Standard ML
2
star
5

pistis

C++
1
star
6

DistributedSystems

C++
1
star