1 paper
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles
We present a methodology to develop verified smart contracts. We write smart contracts, their specifications and implementations in the verification-friendly language Dafny. In our…