相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article
Computer Science, Hardware & Architecture
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida et al.
Summary: This article introduces Helmholtz, a type-based static verification tool for smart contracts executed on the blockchain. It describes how Helmholtz uses refinement types as user-defined specifications to check and verify Michelson programs.
NEW GENERATION COMPUTING (2022)
Article
Computer Science, Artificial Intelligence
The MetaCoq Project
Matthieu Sozeau et al.
JOURNAL OF AUTOMATED REASONING (2020)
Article
Computer Science, Software Engineering
Ott: Effective tool support for the working semanticist
Peter Sewell et al.
ACM SIGPLAN NOTICES (2007)