Behavioral simulation for smart contracts
Sidi Mohamed Beillahi, Gabriela Felicia Ciocarlie, Michael Emmi, Constantin Enea · 2020
While smart contracts have the potential to revolutionize many important applications like banking, trade, and supply-chain, their reliable deployment begs for rigorous formal verification. Since most smart contracts are not annotated with formal specifications, general verification of functional properties is impeded.