スポンサーリンク
産業技術総合研究所システム検証研究センター | 論文
- 階層グラフ書換え言語における並行プロセスの型推論
- 組み込みソフトウェア開発におけるモデル検査の適用事例(システム検証の科学技術)
- 抽象化を用いた検証ツール(システム検証の科学技術)
- 線形論理に基づいたセキュリティ・プロトコルの論理的検証法(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 時相論理の充足可能性判定器のための論理式生成法(計算モデル,フォーマルアプローチ論文)
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- BAN論理からProtocol Composition Logicへ : セキュリティプロトコルの論理的検証法(数理的技法による情報セキュリティ)
- 階層グラフ書換え言語LMNtalの処理系(ソフトウェア論文)
- LMNtal処理系および他言語インタフェースの設計と実装
- ソフトウェアの安全性をめぐる課題について(人に触れる機械の課題)
- 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
- 標数2のある体上の代数方程式の求解
- A-014 LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化(A分野:モデル・アルゴリズム・プログラミング)
- 再帰的定義を可能にする述語論理の証明支援系上の実装
- LA-003 LMNtal処理系におけるグラフ構造の操作機能の設計と実装(A分野:モデル・アルゴリズム・プログラミング)
- 言語モデルLMNtal
- インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
- 並行論理型言語における同期ポイント移動の安全性について
- クリーニ代数入門(チュートリアル,システム検証の科学技術)
- PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
スポンサーリンク