Karem A. Sakallah
- Towards an Automatic Proof of Lamport's Paxos
2021/08/19 by Aman Goel, Karem A. Sakallah · 1 voice
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.DC #cs.FL #cs.LO