年 〜
年

検索結果 28 件

Software security -- theories and systems : second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, November 4-6, 2003 : revised papers. : Nov 2003, Tokyo, Japan. (Lecture Notes in Computer Science ; 3233)

Software security -- theories and systems : second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, November 4-6, 2003 : revised papers. : Nov 2003, Tokyo, Japan. (Lecture Notes in Computer Science ; 3233)
紙図書
Springerc2004.<M17-05-883>
国立国会図書館
  • 著者標目Futatsugi, Kokichi. Mizoguchi, Fumio, 1941- Yone...

Generic Proof Scores for Generate & Check Method in CafeOBJ

Generic Proof Scores for Generate & Check Method in CafeOBJ
デジタル文書・図像類
Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2015-02-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-002p.1-32
全国の図書館
  • 著者標目Futatsugi, Kokichi

Generate & Check Methods for Invariant Verification in CafeOBJ

Generate & Check Methods for Invariant Verification in CafeOBJ
デジタル文書・図像類
Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2013-11-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-006p.1-31
全国の図書館
  • 著者標目Futatsugi, Kokichi

Sufficient completeness of parameterized specifications in CafeOBJ

Sufficient completeness of parameterized specifications in CafeOBJ
デジタル文書・図像類
Nakamura, Masaki, Gaina, Daniel, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2014-12-15Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-005p.1-4
全国の図書館
  • 著者標目Nakamura, Masaki Gaina, Daniel Ogata, Kazuhiro Futatsugi, Kokichi

振舞仕様に基づく問題モデルの構築と検証

振舞仕様に基づく問題モデルの構築と検証
紙図書
二木厚吉, 北陸先端科学技術大学院大学 [著][二木厚吉]2003-2005<Y151-H15300007>
国立国会図書館

分散オブジエクト環境におけるコンポネント仕様の検証に関する研究

分散オブジエクト環境におけるコンポネント仕様の検証に関する研究
紙図書
二木, 厚吉, 北陸先端科学技術大学院大学1999-2002<Y151-H11480067>
国立国会図書館

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発

機能に基づく仕様のコンポーネント化を可能とする形式仕様言語の開発
紙図書
二木, 厚吉, 北陸先端科学技術大学院大学1998-2001<Y151-H10558043>
国立国会図書館

Modeling, Specification, and Verification of QLOCK in CafeOBJ

Modeling, Specification, and Verification of QLOCK in CafeOBJ
デジタル文書・図像類
FUTATSUGI, Kokichi2009-03-12p.1-15
全国の図書館
  • 著者標目FUTATSUGI, Kokichi

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
デジタル文書・図像類
Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi2009-09-22p.1-22
全国の図書館
  • 著者標目Seino, Takahiro Ogata, Kazuhiro Futatsugi, Kokichi

Constructor-based Institutions

Constructor-based Institutions
デジタル文書・図像類
Gaina, Daniel, Futatsugi, Kokichi, Ogata, Kazuhiro北陸先端科学技術大学院大学情報科学研究科2009-05-29Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2009-002p.1-19
全国の図書館
  • 著者標目Gaina, Daniel Futatsugi, Kokichi Ogata, Kazuhiro

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)
紙図書
二木厚吉 著サイエンス社2017.9<M159-L1326>
国立国会図書館全国の図書館

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages
デジタル文書・図像類
Ogata, Kazuhiro, Futatsugi, Kokichi2007-09-06p.1-22
全国の図書館
  • 著者標目Ogata, Kazuhiro Futatsugi, Kokichi

並行書き換え抽象機械の研究

並行書き換え抽象機械の研究
紙図書
二木, 厚吉, 北陸先端科学技術大学院大学1995-1997<Y151-H07458056>
国立国会図書館

Algebraic approaches to formal analysis of the mondex electronic purse system

Algebraic approaches to formal analysis of the mondex electronic purse system
デジタル文書・図像類
Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2007-03-23Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2007-004p.1-43
全国の図書館
  • 著者標目Kong, Weiqiang Ogata, Kazuhiro Futatsugi, Kokichi

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
デジタル文書・図像類
Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi2007-03-07p.1-27
全国の図書館
  • 著者標目Kong, Weiqiang Ogata, Kazuhiro Futatsugi, Kokichi

Analysis of membership sharing in digital subscription services

Analysis of membership sharing in digital subscription services
デジタル文書・図像類
Xiang, Jianwen, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2007-03-16Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-005p.1-26
全国の図書館
  • 著者標目Xiang, Jianwen Ogata, Kazuhiro Futatsugi, Kokichi

Counterexample Discovery with a Combination of Induction and Bounded Model Checking

Counterexample Discovery with a Combination of Induction and Bounded Model Checking
デジタル文書・図像類
Ogata, Kazuhiro, Nakano, Masahiro, Kong, Weiqiang, Futatsugi, Kokichi2007-03-07p.1-31
全国の図書館
  • 著者標目Ogata, Kazuhiro Nakano, Masahiro Kong, Weiqiang Futatsugi, Kokichi

Verifying Specifications with Proof Scores

Verifying Specifications with Proof Scores
デジタル文書・図像類
FUTATSUGI, Kokichi2005-09-21p.1-23
全国の図書館
  • 著者標目FUTATSUGI, Kokichi

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

A Lightweight Integration of Theorem Proving and Model Checking for System Verification
デジタル文書・図像類
Kong, Weiqiang, Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi2005-09-21p.1-23
全国の図書館
  • 著者標目Kong, Weiqiang Seino, Takahiro Ogata, Kazuhiro Futatsugi, Kokichi

Formal analysis of the iKP electronic payment protocols

Formal analysis of the iKP electronic payment protocols
デジタル文書・図像類
Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2002-08-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2002-020p.1-23
全国の図書館
  • 著者標目Ogata, Kazuhiro Futatsugi, Kokichi