Keyword:TLA+

Papers
Towards an Automatic Proof of Lamport's Paxos Aman Goel and Karem A. Sakallah EasyChair Preprint no. 6510