Hirokazu Yatsu

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).

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

Akira Fukuda, Leyuan Liu, Weiqiang Kong, 2012 .

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 .

Translation rules of SysML state machine diagrams into CSP# toward formal model checking

Kenji Hisazumi, Akira Fukuda, Takahiro Ando, 2014, Int. J. Web Inf. Syst..

Formalization and Model Checking of SysML State Machine Diagrams by CSP#

Akira Fukuda, Kenji Hisazumi, Weiqiang Kong, 2013, ICCSA.

SysML State Machine Diagra m to Si m ple Pro m ela Verification Model Translation Method

Hirokazu Yatsu, Akira Fukuda, Takahiro Ando, 2016 .