### What is wrong? For better verifying the correctness of our model, we can get use of the **formal model**, inspired by anton from swarm team. ### How can it be fixed? Survey TLA+ * [Useful tutorial](https://lamport.azurewebsites.net/video/videos.html) * Issue proposing formal model: Swarm * https://github.com/ethersphere/go-ethereum/issues/535
What is wrong?
For better verifying the correctness of our model, we can get use of the formal model, inspired by anton from swarm team.
How can it be fixed?
Survey TLA+