Karem A. Sakallah | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙