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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: