|
|
JAIST Repository >
著者: "KONG, Weiqiang"
9 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
| 21-Sep-2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification | Kong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2006 | Induction-Guided Falsification | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 7-Mar-2007 | Counterexample Discovery with a Combination of Induction and Bounded Model Checking | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 7-Mar-2007 | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 4-Mar-2008 | Case Studies with a Combined Formal System Verification Technique | Kong, Weiqiang |
| 1-May-2008 | A Specification Translation from Behavioral Specifications to Rewrite Specifications | NAKAMURA, Masaki; KONG, Weiqiang; OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| Jul-2008 | Trace anonymity in the OTS/CafeOBJ method | Kong, Weiqiang; Ogata, Kazuhiro; Cheng, Jian; Futatsugi, Kokichi |
|
