AT-1-1 不変性モデル検査器としてのCafeOBJ(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-08-28
著者
関連論文
- 代数仕様に基づく実時間システムの検証
- B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
- AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 項書換えコンパイラに関する一考察
- 項書換え抽象機械における組み込み演算の処理
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味
- CafeOBJ入門(1) : 形式手法とCafeOBJ
- OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
- 項書き換えシステムにおける可簡約演算子とその応用
- 項書き換えシステムにおける可簡約演算子とその応用
- STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
- B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
- 項書換え抽象機械TRAMの設計と実装
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- モジュールシステムの要求仕様と設計仕様
- モジュールシステムを備える書換え抽象機械の提案
- 超並列項書換えシステムの実装と評価
- 超並列項書換えシステムの実装と評価
- 超並列項書換えシステムの実装と評価(並列・分散)
- B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
- 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
- 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
- 項書換えシステムのための抽象機械の設計について
- 書き換えによるセキュリティプロトコル帰納的検証(セキュアコンピューティング)
- 順序ソート項書換えの効率のよい実現に関する一考察
- AT-1-1 不変性モデル検査器としてのCafeOBJ(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)