https://github.com/isubasinghe/paxos-rs

Formally verified implementation of Paxos for consensus in distributed systems.
https://github.com/isubasinghe/paxos-rs

distributed distributed-systems formal-methods formal-verification rust

Last synced: 26 days ago
JSON representation

Formally verified implementation of Paxos for consensus in distributed systems.

• Host: GitHub
• URL: https://github.com/isubasinghe/paxos-rs
• Owner: isubasinghe
• Created: 2021-12-24T06:16:46.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2023-10-19T12:27:17.000Z (about 1 year ago)
• Last Synced: 2023-10-19T13:35:06.556Z (about 1 year ago)
• Topics: distributed, distributed-systems, formal-methods, formal-verification, rust
• Language: Rust
• Homepage:
• Size: 20.5 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Paxos 

This an implementation of single-decree paxos, used for concesnsus 

in distributed systems. This implementation has been formally verified through model checking 

via stateright. 

## Bug present

See https://github.com/isubasinghe/paxos-rs/issues/1

Good lesson here is that your verification is only as good as your spec.