LOTOSに基づいたプロトコル論理検証支援

スポンサーリンク

概要

論文の詳細を見る
プロトコルの論理検証の目的は、プロトコルの固有な機能とは独立な、どんなプロトコルにも存在しうる特有なエラー(論理エラー)を、与えられたプロトコル仕様から系統的に検出することである。本稿では、LOTOSを用いて記述されたプロトコル仕様に対して、(1)未指定受信、(2)通信デッドロック、そして(3)チャネルオーバフローの論理エラーを検出し、プロトコルの論理検証を効果的に支援するソフトウェア環境(論理検証支援環境)について述べる。なお、本支援環境は、筆者らが既に提案しているプロトコル論理検証法に基づいており、その詳細については文献[1]を参照されたい。
一般社団法人情報処理学会の論文
1990-03-14

著者

関連論文

もっと見る

スポンサーリンク