konnov

konnov

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
34 Stars
11 Forks
34 Watchers

Repositories (2)

bymc konnov/bymc C

Byzantine model checker

21
fault-tolerant-benchmarks konnov/fault-tolerant-benchmarks F*

Fault-tolerant distributed algorithms encoded in a formal language

13