Viet Ha NGUYEN


On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
Ngoc Hung PHAM Viet Ha NGUYEN Toshiaki AOKI Takuya KATAYAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9  pp. 1451-1460
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
model checkingassume-guarantee reasoningmodular verificationlearning algorithmminimal assumption
 Summary | Full Text:PDF(1.4MB)

A Minimized Assumption Generation Method for Component-Based Software Verification
Ngoc Hung PHAM Viet Ha NGUYEN Toshiaki AOKI Takuya KATAYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/08/01
Vol. E93-D  No. 8  pp. 2172-2181
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
model checkingassume-guarantee reasoningmodular verificationlearning algorithmminimal assumption
 Summary | Full Text:PDF(319.8KB)