Jump to main content

yr 〜
yr

Search results 5

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, Ko...

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, Ko...

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

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, Kazuhi...

Facilitating inductive verification with counterexample discovery capability

Facilitating inductive verification with counterexample discovery capability
Paper博士論文
Weiqiang Kong [著][Weiqiang Kong][2006]<UT51-2008-D926>
National Diet LibraryOther Libraries in Japan
  • Author AliasKong, Weiqiang

Reached to the end of result.

RSS