Towards an Automatic Proof of Lamport's Paxos.

Aman Goel Karem A. Sakallah

Published in: CoRR (2021)

Keyphrases

fully automatic
theorem prover
neural network
website
database systems
distributed systems
fine grained
semi automatic
range queries
theorem proving