#

tecent

Here is 1 public repository matching this topic...

hengxin / paxosstore-tla

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

wechat formal-methods paxos distributed-consensus tecent tlaplus tlaps paxosstore

Updated Aug 16, 2019
TLA

Improve this page

Add a description, image, and links to the tecent topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tecent topic, visit your repo's landing page and select "manage topics."