GitHub - jad-hamza/networking

Counting Actor: verifies in 15 sec

stainless Counting* FifoNetwork.scala Networking.scala

Leader Election: verifies in 1 min

stainless Leader* FifoNetwork.scala Networking.scala BoundedQuantifiers.scala ListUtils.scala

Key-value store: verifies in 4 to 5 min

stainless KVS* FifoNetwork.scala Networking.scala OMap.scala

Name		Name	Last commit message	Last commit date
Latest commit History 54 Commits
.gitignore		.gitignore
Counting.scala		Counting.scala
CountingProof.scala		CountingProof.scala
FifoNetwork.scala		FifoNetwork.scala
KVS.scala		KVS.scala
KVSProof.scala		KVSProof.scala
KVSProof2.scala		KVSProof2.scala
KVSProof3.scala		KVSProof3.scala
Leader.scala		Leader.scala
LeaderProof.scala		LeaderProof.scala
ListUtils.scala		ListUtils.scala
MMap.scala		MMap.scala
Networking.scala		Networking.scala
Quorum.scala		Quorum.scala
QuorumProof.scala		QuorumProof.scala
README.md		README.md

Provide feedback