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 verificationJavahash codeequivalence
 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 reductionring buffermodel checkingthe Ising modelAIS
 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: 
verificationprobabilistic model checkingthe Ising modelDiscrete 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 µ-calculusKripke structurepreconditionpostconditionpointer
 Summary | Full Text:PDF