Weiqiang Kong

发表

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration

Akira Fukuda, Kenji Hisazumi, Leyuan Liu, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Implementation and Experiments of a Distributed SMT Solving Environment

Akira Fukuda, Weiqiang Kong, Weiqiang Kong, 2014 .

Optimization Channel Assignment Method for Maximum Throughput under Communication and Positioning Requirements

Ming Li, Weiqiang Kong, Akira Fukuda, 2012 .

Title Induction-Guided Falsification

K. Futatsugi, Weiqiang Kong, K. Ogata, 2018 .

FORMAL SPECIFICATIONS OF LICENSES AND DIGITAL RIGHTS MANAGEMENT SYSTEMS WITH OTS / CAFEOBJ METHOD ( EXTENDED ABSTRACT )

K. Futatsugi, Weiqiang Kong, K. Ogata, 2006 .

Under consideration for publication in Formal Aspects of Computing Formal Semantics of an Extended Hierarchical State Transition Matrix using CSP

Nguyen Van Tang, Hitoshi Ohsaki, Weiqiang Kong, 2012 .

Model Checking of Software Design in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2010, Software Engineering Research and Practice.

Table-based Software Designs : Bounded Model Checking and Counterexample Tracking

Weiqiang Kong, Akira Fukuda, T. Katayama, 2011 .

A combined formal analysis methodology and towards its application to hierarachical state transition matrix designs

Akira Fukuda, Leyuan Liu, Weiqiang Kong, 2012 .

1B-4 Design and development of state transition matrix model checking tool Garakabu2.

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Akira Fukuda, Kenji Hisazumi, Leyuan Liu, 2015, Comput. J..

An Improvement on Acceleration of Distributed SMT Solving

Weiqiang Kong, Leyuan Liu, Hirokazu Yatsu, 2014 .