GitHub

Leader Election: verifies in 1 min

leon Leader* FifoNetwork.scala Networking.scala InductiveQuantifiers.scala MMap.scala ListUtils.scala --assumepre

Counting Actor: verifies in 15 sec

leon Counting* FifoNetwork.scala Networking.scala MMap.scala --assumepre

Key-value store: verifies in 5 sec

leon KVS* FifoNetwork.scala Networking.scala OMap.scala --assumepre

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
C2Map.scala		C2Map.scala
CMap.scala		CMap.scala
Counting.scala		Counting.scala
CountingPP.scala		CountingPP.scala
CountingProof.scala		CountingProof.scala
FifoNetwork.scala		FifoNetwork.scala
InductiveQuantifiers.scala		InductiveQuantifiers.scala
KVS.scala		KVS.scala
KVSPP.scala		KVSPP.scala
KVSProof.scala		KVSProof.scala
KVSProof2.scala		KVSProof2.scala
KVSProof3.scala		KVSProof3.scala
Leader.scala		Leader.scala
LeaderPP.scala		LeaderPP.scala
LeaderProof.scala		LeaderProof.scala
ListUtils.scala		ListUtils.scala
MMap.scala		MMap.scala
Networking.scala		Networking.scala
OMap.scala		OMap.scala
Quorum.scala		Quorum.scala
QuorumPP.scala		QuorumPP.scala
QuorumProof.scala		QuorumProof.scala
Readme.md		Readme.md

Provide feedback