Skip to content

Latest commit

 

History

History
11 lines (6 loc) · 337 Bytes

README.md

File metadata and controls

11 lines (6 loc) · 337 Bytes

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