%0 Conference Paper
%A Tran, Hoang Viet
%A Le, Chi Luan
%A Pham, Ngoc Hung
%B The 2016 IEEE RIVF International Conference on Computing and Communication Technologies
%C Hanoi, Vietnam
%D 2016
%F SisLab:1985
%P 1-6
%T A Strongest Assumption Generation Method for Component-Based Software Verification
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985/
%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