Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
APLAS 2020 (series) / Posters /

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

Yuki Nishida, Hiromasa Saito, Chen Ran, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
APLAS 2020 Posters
small-avatar
Yuki Nishida
Kyoto University
small-avatar
Hiromasa Saito
Kyoto University
Japan
small-avatar
Chen Ran
Kyoto University
Japan
small-avatar
Akira Kawata
Kyoto University
Jun Furuse
Jun Furuse
Kohei Suenaga
Kohei Suenaga
Graduate School of Informatics, Kyoto University
Japan
Atsushi Igarashi
Atsushi Igarashi
Kyoto University, Japan
Japan