no code implementations • 30 Aug 2021 • Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them.