%0 Conference Paper
%A Pham, Ngoc Hung
%A Nguyen, Viet Ha
%A Aoki, Toshiaki
%A Katayama, T.
%B 2012 IEEE RIVF International Conference on Computing and Communication Technologies
%D 2012
%F SisLab:34
%K assume-guarantee verification, complexity, component-based software verification, computational cost, consumption memory, depth-limited search strategy, minimized assumption generation, model checking, object-oriented programming, optimization, program verification, search tree, software evolution, software maintenance, state space explosion problem, subtree, system rechecking, tree searching
%P 1 -6
%T An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/34/