Inferaraは、#Web3のデジタル資産と
デジタル市民を守るために
フォーマルな手法で研究を行っています。 Inferaraの目標は、科学技術の知見に基づき、
Web3を全ての人々が安心できる安全な環境にすることです。
デジタル市民を守るために
フォーマルな手法で研究を行っています。 Inferaraの目標は、科学技術の知見に基づき、
Web3を全ての人々が安心できる安全な環境にすることです。
Inferaraも毎日コードを書いているため、エンジニアや開発者が日々何をしているかをよく理解しています。そのため、どのツールや手法が効果的かも熟知しています。
- Inferaraの専門は、自動化定理証明(Coq)とモデル検査(TLA+)です。
- Inferaraは、アカデミックなスタイルで研究を進めてから、新しいコードを書いています。
ご意見、ご提案、ご感想をお寄せください。Inferaraは、#Web3のエコシステム全体を担っています。#Web3のセキュリティの将来について、遠慮なくお問い合わせください。
Web3 向けに設計された、開発者に優しい初の形式仕様言語。
Inference は、Inferara の非決定論的抽象マシン実行の研究に基づいた形式仕様プログラミング言語です。
非決定論的計算モデルの詳細については、当社の論文をご覧ください。
もうすぐリリースされる予定ですので、お楽しみに。