Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-DNo. 5 ;
pp. 1355-1364 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Model Checking Keyword: multi-valued model checking, bounded model checking, quasi-boolean logic,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/12/01 Vol. E86-DNo. 12 ;
pp. 2579-2587 Type of Manuscript: Special Section PAPER (Special Issue on Dependable Computing) Category: Dependable Communication Keyword: bounded model checking, SAT, feature interaction,