Towards an Automatic Proof of Lamport's Paxos.

Aman Goel Karem A. Sakallah

Published in: FMCAD (2021)

Keyphrases

theorem prover
theorem proving
fully automatic
neural network
website
data analysis
object oriented
business intelligence
semi automatic
commit protocols