Toshifusa SEKIZAWA

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
Kozo OKANO Satoshi HARAUCHI Toshifusa SEKIZAWA Shinpei OGATA Shin NAKAJIMA 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8  pp. 1498-1505
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
software verification, Java, hash code, equivalence, 
 Summary | Full Text:PDF
Probabilistic Symmetry Reduction for a System with Ring Buffer
Toshifusa SEKIZAWA Takashi TOYOSHIMA Koichi TAKAHASHI Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 967-975
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: System Analysis
Keyword: 
probabilistic symmetry reduction, ring buffer, model checking, the Ising model, AIS, 
 Summary | Full Text:PDF
Probabilistic Model Checking of the One-Dimensional Ising Model
Toshifusa SEKIZAWA Tatsuhiro TSUCHIYA Koichi TAKAHASHI Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 1003-1011
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
verification, probabilistic model checking, the Ising model, Discrete Time Markov Chain, 
 Summary | Full Text:PDF
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus
Yoshinori TANABE Toshifusa SEKIZAWA Yoshifumi YUASA Koichi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 995-1002
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Foundation
Keyword: 
modal µ-calculus, Kripke structure, precondition, postcondition, pointer, 
 Summary | Full Text:PDF