「"形式的検証"」の検索結果 | NDLサーチ

検索結果 17 件

タイトルでまとめる

形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究

紙図書

藤田昌宏, 東京大学 [著][藤田昌宏]2002-2004<Y151-H14350178>

国立国会図書館

件名システムLSI / 形式的検証技術 / デバッグ

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

紙図書

関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2006-2007<Y151-H18500023>

国立国会図書館

件名形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制...

ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証

紙図書

平石, 裕実, 京都産業大学2000-2002<Y151-H12680361>

国立国会図書館

件名設計検証論理設計形式的検証並列処理分散処理クラスタシステム

レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究

紙図書

米田友洋, 国立情報学研究所 [著][米田友洋]2003-2004<Y151-H15300009>

国立国会図書館

件名リアルタイムソフトウェア / 形式的検証 / レベルタイムペトリネット / Partial orde...

超高速非同期式システムのための設計および検証ツ-ルに関する研究

紙図書

米田, 友洋, 国立情報学研究所2000-2002<Y151-H12680334>

国立国会図書館

件名非同期式回路形式的検証 3値2線式符号高位記述有限幅遅延モデルタイムペトリネ...

アクティブソフトウェアの設計検証手法に関する研究

紙図書

関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2004-2005<Y151-H16500019>

国立国会図書館

件名形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制...

暗号を用いたプロトコルにおけるデータの偽造不可能性検証システムの開発

紙図書

藤原, 融, 大阪大学1998-1999<Y151-H10650361>

国立国会図書館

件名情報セキユリテイ暗号暗号を用いたプロトコル形式的検証安全性偽造不可能性アルゴリズム

形式的論理設計検証に関する研究

紙図書

平石, 裕美, 京都産業大学1997-1998<Y151-H09680348>

国立国会図書館

件名形式的検証論理設計検証様相論理並列アルゴリズム分散アルゴリズム...

有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究

紙図書

米田, 友洋, 東京工業大学1997-1998<Y151-H09680329>

国立国会図書館

件名形式的検証非同期式回路有限遅延幅モデルタイムペトリネツト時間ト...

正則時相論理に基づく形式的論理設計検証に関する研究

紙図書

平石, 裕実, 京都大学1989-1990<Y151-H01550285>

国立国会図書館

件名時相論理形式的検証論理設計モデル検査

時相論理に基づく計算機援用形式的設計検証に関する研究

紙図書

平石, 裕実, 京都産業大学1991-1992<Y151-H03650301>

国立国会図書館

件名論理設計検証形式的検証時相論理計算機援設計二分決定グラフ

時相理論に基づく論理設計の形式的検証システムの試作研究

紙図書

矢島脩三, 京都大学1993-1994<Y151-H05558030>

国立国会図書館

件名時相論理論理設計形式的検証論理関数処理二分決定グラフモデルチエツキング仕様記述

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

デジタル文書・図像類

山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-

全国の図書館

件名組込みシステムハイブリッドオートマトンモデル検査抽象化精錬仕様記述形式的検証動的再構成可能システム CEGAR

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書

デジタル文書・図像類

関, 浩之奈良先端科学技術大学院大学2008

インターネットで読める全国の図書館

件名形式的検証モデル検査静的解析形式言語アクセス制御セキュリティ...

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書

デジタル文書・図像類

関, 浩之奈良先端科学技術大学院大学2008

インターネットで読める全国の図書館

件名形式的検証モデル検査静的解析形式言語アクセス制御セキュリティ...

等価検証の効率化に関する一考察

デジタル文書・図像類

松永, 裕介電子情報通信学会CPSY研究会2002-11電子情報通信学会技術研究報告, CPSY2002-63(2002-11)p.73-78

インターネットで読める全国の図書館

件名形式的検証等価性検証二分決定グラフ formal verifica...

形式的手法を用いたインタラクティブシステム設計法

デジタル博士論文

池田, 瑞穂奈良先端科学技術大学院大学2002-03-22

全国の図書館

件名インタラクティブシステムユーザインタフェース形式的記述形式的検証タスク図代数的仕様記述抽象的順序機械コンパイラ

検索結果は以上です。