Lobsters
- IELE: A New, Virtual Machine for the Blockchain (2017) https://runtimeverification.com/blog/?p=498 2 comments formalmethods , merkle-trees
- ERC20-K: Formal, Executable Specification of ERC20 https://runtimeverification.com/blog/?p=496 2 comments formalmethods , merkle-trees , programming