TY  - CONF
ID  - SisLab1985
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985/
A1  - Tran, Hoang Viet
A1  - Le, Chi Luan
A1  - Pham, Ngoc Hung
Y1  - 2016/11//
N2  - This paper presents a method for generating strongest assumptions during component-based software veri?cation. 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
TI  - A Strongest Assumption Generation Method for Component-Based Software Verification
SP  - 1
M2  - Hanoi, Vietnam
AV  - public
EP  - 6
T2  - The 2016 IEEE RIVF International Conference on Computing and Communication Technologies
ER  -