►
From YouTube: Formal Verification of Smart Contracts - Yoichi Hirai
Description
Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, decentralized access on IPFS and more.
https://archive.devcon.org/archive/watch/2/formal-verification-of-smart-contracts
Yoichi Hirai gives their talk on Formal Verification of Smart Contracts.
Speaker(s): Yoichi Hirai
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
A
Other
league
against
existing
malcata
and
in
the
south,
in
the
mixed
commission
for
the
city
on
the
route
of
mass
tourism
pedro
de
kosai
boat,
where
it
still
rains
close
your
eyes
and
resist
the
art
fu
beyond
from
the
mayor
team,
good
at
attacking
in
84
lich
king
to
series,
a
already
resorts
to
distinction
and
peace
in
peniche
to
study.
But
three
points.