Picture for Akira Kawata

Akira Kawata

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

Add code
Sep 10, 2021
Figure 1 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Figure 2 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Figure 3 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Figure 4 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Viaarxiv icon