%A Ngoc Hung Pham
%A Viet Ha Nguyen
%A Toshiaki Aoki
%A T. Katayama
%T An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification
%D 2012
%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
%L SisLab34