%A Hoang Viet Tran
%A Chi Luan Le
%A Ngoc Hung Pham
%T A Strongest Assumption Generation Method for Component-Based Software Verification
%X This paper presents a method for generating strongest assumptions during component-based software verification. The key idea of this method is to improve the technique for answering membership queries of the Teacher when responding to the Learner in the
%C Hanoi, Vietnam
%D 2016
%P 1-6
%L SisLab1985