unnamed (1).png

Runtime Verification Inc.は、ブロックチェーン領域において最も歴史があり、最も尊敬されているセキュリティ企業の1つです。 当社のアプローチはユニークで、フォーマル手法による検証(単にバグを見つけるためのハッキングではない)を基本としており、フォーマル・モデリング、解析、スマートコントラクト・セキュリティ、認証、検証において深い経験を持ち、Kフレームワークや言語非依存検証技術など、コミュニティで使用されている多くの技術のパイオニアとなってきました。複数のチェーンにまたがるさまざまなレイヤー1プロトコルやブロックチェーン・プロジェクトに加え、NASA、DARPA、ボーイング、トヨタと共同で安全性やミッション・クリティカルなシステムのフォーマル化および検証を行ってきました。

Runtime Verificationとアルゴランドとの深い関係は2019年にまで遡り、最初にアルゴランドからコンセンサス・プロトコルのフォーマルな検証を請け負っています。それ以来、RVはアルゴランド専用のセキュリティ・チームやTEAL用のアルゴランド専用ツールを作成し、AlgoFiEXA FinanceFolks FinanceAlgoDexなど、多くのアルゴランド・プロジェクトの監査を行ってきました。

★RVのすべての監査は、ここで見ることができます:https://github.com/runtimeverification/publications


 

unnamed (2).png

【最高戦略責任者(CSO)のトムは日本在住です!】

トム・リンデマン(Tom Lindeman)は、Runtime Verification Inc, の最高戦略責任者であり、長野県に在住しています。 以前は、ConsenSys DiligenceとMythXを共同設立し、Microsoftでの20年間では23の製品を市場に送り出しました。クリプトのパイオニアであり、ビジネス・クリエイター、発明家、戦略家として、30年にわたり革新的な製品や技術を特定、創造し、市場に送り出した経験を持ちます。

LinkedIn: Tom Lindeman

 

Runtime Verificationはアルゴランド財団のセキュリティ・パートナーであり、アルゴランド・ジャパンとも密接に協力して、日本発のプロジェクトを支援していきます。お気軽にお問い合わせください。

Tom’s email:  tomlindeman@runtimeverification.com

​Wevsite: https://runtimeverification.com/

Runtime Verification 関連記事