PR

形式的手法は,主に2つに大別される。1つは,ソフトウエアの仕様を「形式的な仕様記述言語」を使って論理的に記述したり,検査したりすることで,少しでも早い段階でバグを洗い出す「仕様記述」。もう1つは,形式的な仕様記述言語とは別の専用言語で記述したシステムの状態遷移をコンピュータに入力することで,振る舞いにバグがないかどうかを高速かつ自動的に探索する「形式検証(モデル検査)」である。いずれも形式的手法の一種ではあるものの,使いこなしの観点や利点はかなり趣を異にしている。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

新着が分かるメールマガジンが届く
キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に!
有料会員と登録会員の違い


日経クロステックからのお薦め

[緊急出版]アフターコロナ 見えてきた7つのメガトレンド

[緊急出版]アフターコロナ 見えてきた7つのメガトレンド

Amazonランキング第1位(企業経営一般関連書籍、5月13日〜21日)

 自動車、IT、建設など主要9業界を徹底取材し新型コロナの影響を分析。非接触技術の最新情報、オフィスの未来、制約条件下での新たなイノベーションなど7つのトレンドを徹底解説。30人の論客による予測も。

『アフターコロナ』の詳細はこちら

IoTの全てを網羅した決定版 IoTの教科書

IoTの全てを網羅した決定版 IoTの教科書

IoTを知らずにこれからのビジネスはできない「IoT」の全てを網羅した決定版!

本書は「IoT」とは何かについて、基礎から体系的に学べる唯一の書です。IoT分野で使われる用語を網羅し、定義はもちろん、図版や事例を多用しつつ分かりやすく解説しました。

詳細はこちら

ボッシュ自動車ハンドブック 日本語第4版

ボッシュ自動車ハンドブック 日本語第4版

自動車技術を学ぶための最良の一冊!

豊富な図表により、難しい内容も理解しやすく構成。約6,000項目の詳細なインデックスで、知りたいことを一発検索。自動車業界で使用される欧文略語を巻末に掲載。

詳細はこちら