points by westurner 4 years ago

## TLA+

Wikipedia: https://en.wikipedia.org/wiki/TLA%2B

Src: https://github.com/tlaplus/tlaplus

Awesome: https://github.com/tlaplus/awesome-tlaplus

### Dr TLA+

Web: https://github.com/tlaplus/DrTLAPlus

Src: https://github.com/tlaplus/DrTLAPlus :

> Dr. TLA+ series - learn an algorithm and protocol, study a specification; [Byzantine] Paxos, Raft, Cosmos,

##

"Concurrency: The Works of Leslie Lamport" ( https://g.co/kgs/nx1BaB

##

https://westurner.github.io/hnlog/#comment-27442819 :

> Can there still be side channel attacks in formally verified systems? Can e.g. TLA+ help with that at all?