Roast topics
Find topics
Find it!
The value of model checking in distributed protocols design | Protocols Made Fun
Author: Igor Konnov
| Protocols Made Fun
Model checking safety of Ben-Or’s Byzantine consensus with Apalache | Protocols Made Fun
Author: Igor Konnov
| Protocols Made Fun
QuickCheck: Automatic testing of Haskell programs
Automatic testing of Haskell programs
| Hackage
