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