@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00115908,
 book = {全国大会講演論文集},
 issue = {デザインオートメーションおよびコンピュータグラフィクス},
 month = {Sep},
 note = {各種の設計問題において、設計された結果が与えられた設計仕様を満たしているか否かの検証は不可欠である。現在、論理回路等の設計検証では、この検証法として数値シミュレーションによる方法が利用されている。しかしながら、高信頼性が要求される設計を中心として、数値シミュレーションによらないFormal Verification法が注目され始めている。本研究では、対象として変電所の制御保護装置の設計検証を取り上げ、定理証明法を利用した検証システムを開発した。以下では、設計検証システムの構成を中心に報告する。},
 publisher = {情報処理学会},
 title = {シーケンス制御回路の設計検証システム(1) : システム構成},
 volume = {第37回},
 year = {1988}
}