Karem A. Sakallah | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Aman Goel
3 publications

research

∙ 08/19/2021

Towards an Automatic Proof of Lamport's Paxos

Lamport's celebrated Paxos consensus protocol is generally viewed as a c...

0 Aman Goel, et al. ∙

research

∙ 03/27/2021

On Symmetry and Quantification: A New Approach to Verify Distributed Protocols

Proving that an unbounded distributed protocol satisfies a given safety ...

0 Aman Goel, et al. ∙