Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2004.<M17-05-883>
National Diet Library
  • Author HeadingFutatsugi, Kokichi. Mizoguchi, Fumio, 1941- Yone...

Generic Proof Scores for Generate & Check Method in CafeOBJ

Generic Proof Scores for Generate & Check Method in CafeOBJ
Digital文書・図像類
Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2015-02-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-002p.1-32
Other Libraries in Japan
  • Author HeadingFutatsugi, Kokichi

Generate & Check Methods for Invariant Verification in CafeOBJ

Generate & Check Methods for Invariant Verification in CafeOBJ
Digital文書・図像類
Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2013-11-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-006p.1-31
Other Libraries in Japan
  • Author HeadingFutatsugi, Kokichi

Sufficient completeness of parameterized specifications in CafeOBJ

Sufficient completeness of parameterized specifications in CafeOBJ
Digital文書・図像類
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
Other Libraries in Japan
  • Author HeadingNakamura, Masaki Gaina, Daniel Ogata, Kazuhiro Futatsugi, Kokichi

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

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

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

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

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

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

Modeling, Specification, and Verification of QLOCK in CafeOBJ

Modeling, Specification, and Verification of QLOCK in CafeOBJ
Digital文書・図像類
FUTATSUGI, Kokichi2009-03-12p.1-15
Other Libraries in Japan
  • Author HeadingFUTATSUGI, 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
Digital文書・図像類
Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi2009-09-22p.1-22
Other Libraries in Japan
  • Author HeadingSeino, Takahiro Ogata, Kazuhiro Futatsugi, Kokichi

Constructor-based Institutions

Constructor-based Institutions
Digital文書・図像類
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
Other Libraries in Japan
  • Author HeadingGaina, Daniel Futatsugi, Kokichi Ogata, Kazuhiro

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

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

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages
Digital文書・図像類
Ogata, Kazuhiro, Futatsugi, Kokichi2007-09-06p.1-22
Other Libraries in Japan
  • Author HeadingOgata, Kazuhiro Futatsugi, Kokichi

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

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

Algebraic approaches to formal analysis of the mondex electronic purse system

Algebraic approaches to formal analysis of the mondex electronic purse system
Digital文書・図像類
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
Other Libraries in Japan
  • Author HeadingKong, Weiqiang Ogata, Kazuhiro Futatsugi, Kokichi

Analysis of membership sharing in digital subscription services

Analysis of membership sharing in digital subscription services
Digital文書・図像類
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
Other Libraries in Japan
  • Author HeadingXiang, Jianwen 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
Digital文書・図像類
Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi2007-03-07p.1-27
Other Libraries in Japan
  • Author HeadingKong, Weiqiang 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
Digital文書・図像類
Ogata, Kazuhiro, Nakano, Masahiro, Kong, Weiqiang, Futatsugi, Kokichi2007-03-07p.1-31
Other Libraries in Japan
  • Author HeadingOgata, Kazuhiro Nakano, Masahiro Kong, Weiqiang Futatsugi, Kokichi

Verifying Specifications with Proof Scores

Verifying Specifications with Proof Scores
Digital文書・図像類
FUTATSUGI, Kokichi2005-09-21p.1-23
Other Libraries in Japan
  • Author HeadingFUTATSUGI, 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
Digital文書・図像類
Kong, Weiqiang, Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi2005-09-21p.1-23
Other Libraries in Japan
  • Author HeadingKong, Weiqiang Seino, Takahiro Ogata, Kazuhiro Futatsugi, Kokichi

Formal analysis of the iKP electronic payment protocols

Formal analysis of the iKP electronic payment protocols
Digital文書・図像類
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
Other Libraries in Japan
  • Author HeadingOgata, Kazuhiro Futatsugi, Kokichi
RSS