形式手法による開発
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/20 17:06 UTC 版)
「カルダノ (ブロックチェーン)」の記事における「形式手法による開発」の解説
IOG(IOHK)のエンジニアは開発を行う際、ソフトウェアが想定した通りに正確に作動するかテストするために数学的な形式手法を駆使している。カルダノの開発では航空産業用ソフトウェア・宇宙飛行用システム・大規模なバンキングソフトウェアといったミッションクリティカルなプログラムと同レベルの厳密さを、ブロックチェーン開発で初めて採用している。
※この「形式手法による開発」の解説は、「カルダノ (ブロックチェーン)」の解説の一部です。
「形式手法による開発」を含む「カルダノ (ブロックチェーン)」の記事については、「カルダノ (ブロックチェーン)」の概要を参照ください。
ウィキペディア小見出し辞書の「形式手法による開発」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 形式手法による開発のページへのリンク
