ダイラムダ株式会社

会社概要

暗号通貨「Tezos」を開発。開発型システム、静的解析、モデル駆動、定理証明をはじめとする形式検証技術によって、暗号通貨をはじめとする社会インフラシステムの安全化に取り組んでいます。