Search results 34
Digital博士論文障害者向け資料あり
Available onlineNational Diet LibraryOther Libraries in Japan
- Toc / Article...統合テスト実行環境||第4章 モデル検査技術とエミュレーション技術の融合||第5章 エミュレーション...
- Subject Headingモデル検査 エミュレーション 組込み機器 テスト
Paper図書
National Diet Library
- Subject Headingシェイプ解析 / 静的解析 / 停止性解析 / モデル検査 / 様相論理
Paper図書
National Diet Library
- Subject Headingコンパイラ / 最適化 / 静的単一代入形式 (SSA形式) / モデル検査 / 時相論理
Digital博士論文障害者向け資料あり
Available onlineNational Diet LibraryOther Libraries in Japan
- Toc / Article...再定義と支援ツール||第4章 モデル検査技術と実行テストを融合したテストケース実行環境||第5章 機...
- Subject Headingテストケース設計プロセス テストケース自動生成 自然言語処理 テスト実行環境 モデル検査
Paper図書
National Diet Library
- Subject Heading形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制御 / XML ...
Paper図書
National Diet Library
- Subject Headingアクセス制御 / セキュリティ / 安全性 / 検証 / モデル検査 / ポリシー
Paper図書
National Diet Library
- Subject Heading信頼性 / ユビキタスネットワーク / 動的再構成可能プロセッサ / 実時間システム / モデル検査 / 無線通信
Paper図書
National Diet Library
- Subject Heading検証 モデル検査 抽象解釈 定理証明 グラフ探索 並行ゴミ集め セキユリテイ
Paper図書
National Diet Library
- Subject HeadingWebアプリケーション / XMLドキュメント / ソフトウェアリポジトリ / モデル検査 / 実時間並行ソフトウェア / Java
Paper図書
National Diet Library
- Subject Heading形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制御 / 静的解析...
Paper図書
National Diet Library
- Subject Headingリアルタイムシステム / パラメトリックモデル検査 / HW/SWコデザイン / オンチップCPU / 時間制...
Paper図書
National Diet Library
- Subject Heading拡張有限状態機械 時間オートマトン 記号モデル検査 プレスブルガー文 out-of-order型パイプラインC...
Paper図書
National Diet Library
- Subject Heading形式的検証 論理設計検証 様相論理 並列アルゴリズム 分散アルゴリズム 記号モデル検査 BDD
Digital文書・図像類
Other Libraries in Japan
- Subject Headingソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Inter...
- Note (General)...ログラムを対象に，ソフトウェアモデル検査技術を開発し，組込みアセンブリ......して，SMT述語抽象化，SMTモデル検査及びSMT Interpola......ソフトウェアのリアルタイム性のモデル検査技術を開発する． The pu......アルタイム安全性のソフトウェアモデル検査手法の開発」研究成果報告書 課題番号18K11239（KAK...
Digital文書・図像類
Other Libraries in Japan
- Summary, etc....を満たすことを自動的に確認するモデル検査システムを開発した． 研究成果の概要（英文）：The ves...
- Subject Heading物流システム モデル化 モデル検査 プロセス代数 Ambient Calculus
Digital文書・図像類
Other Libraries in Japan
- Summary, etc....物流計画の記述スタイルの検討、モデル検査手法、物流監視システムの構築法......妥当とみなせる条件を提示した。モデル検査手法についてはHTACを対象として、合同的性質を活用した検査...
- Subject Heading仕様記述 プロセス代数 時間制約 モデル検査
Digital文書・図像類
Other Libraries in Japan
- Subject Heading分散スナップショット メタプログラム モデル検査 Maude
- Note (General)...ット到達可能性（DSR）を直接モデル検査する方法を考案し、実験により有......利点がある。また、DSRを直接モデル検査可能になったため、より高速にモデル検査可能になり、性質を満たさない場合反例を提示できるようにもなっ...
Paper図書
National Diet Library
- Subject Heading形式的設計検証 有限状態システム 時相論理 記号モデル検査 論理設計検証
Digital文書・図像類
Other Libraries in Japan
- Subject Heading形式手法 形式検証 モデル検査
- Note (General)...より，現実的なセッティングで，モデル検査に基づいた手法の提案に成功し，実際に，現実問題に適用できるこ...