• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Towards an Automatic Proof of Lamport's Paxos.

Aman GoelKarem 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