C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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