HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Aman Goel

Publications
Towards an Automatic Proof of Lamport's Paxos
Aman Goel and Karem A. Sakallah
EasyChair Preprint no. 6510

Keyphrases

distributed protocols, IC3, incremental induction, inductive invariant, parameterized systems, Paxos, PDR, TLA+.

Copyright © 2012-2023 easychair.org. All rights reserved.