米マイクロソフト、Azure Blockchain用のスマートコントラクト検証ツールVeriSolを発表 〜イーサリアム等の開発言語Solidity対応。動作検証・バグの抽出を自動化
米Microsoft（以下、マイクロソフト）は6月3日、同社が提供するブロックチェーン基盤サービスAzure Blockchain用のスマートコントラクト検証ツール「VeriSol」を発表した。同ツールはオープンソースで開発され、Ethereum等のスマートコントラクトで利用される開発言語Solidityで記述されたプラグラムの動作検証が可能とのこと。
引用元： 仮想通貨Watch
「仮想通貨全般」カテゴリーの関連記事
