キーワード : 自動証明


モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井 康之 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2  No. 1 ; pp. 224-236
論文種別:  論文
専門分野: 人工知能,自然言語処理,認知科学
キーワード: 
自動証明制約充足問題準群問題モデル生成法OR並列
 あらまし | 本文:PDF(854.2KB)

代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
北嶋 暁 森岡 澄夫 島谷 肇 東野 輝夫 谷口 健一 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/12/25
Vol. J79-D1  No. 12 ; pp. 1017-1029
論文種別:  特集論文 (テスティング技術論文特集)
専門分野: 設計検証
キーワード: 
同期式順序回路段階的設計形式的検証代数的手法自動証明
 あらまし | 本文:PDF(993.4KB)

モデル生成型定理証明系のAND並列化方式
越村 三幸 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/02/25
Vol. J78-D1  No. 2 ; pp. 228-238
論文種別:  特集論文 (超並列コンピュータシステム論文特集)
専門分野: 応用
キーワード: 
自動証明モデル生成連言照合包摂テストAND並列
 あらまし | 本文:PDF(762.4KB)