Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1408.5962
Cited By
Model Checking Paxos in Spin
International Symposium on Games, Automata, Logics and Formal Verification (GandALF), 2014
26 August 2014
G. Delzanno
Michele Tatarek
Riccardo Traverso
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Model Checking Paxos in Spin"
3 / 3 papers shown
Learning to generate Reliable Broadcast Algorithms
IEEE Access (IEEE Access), 2022
Diogo Vaz
David R. Matos
M. Pardal
M. Correia
118
2
0
31 Jul 2022
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
I. Konnov
Marijana Lazić
Ilina Stoilkovska
Josef Widder
426
4
0
30 Nov 2020
Formal Verification of Multi-Paxos for Distributed Consensus
World Congress on Formal Methods (FM), 2016
Saksham Chand
Yanhong A. Liu
Scott D. Stoller
204
63
0
04 Jun 2016
1
Page 1 of 1
