TY  - CONF
ID  - SisLab34
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/34/
A1  - Pham, Ngoc Hung
A1  - Nguyen, Viet Ha
A1  - Aoki, Toshiaki
A1  - Katayama, T.
Y1  - 2012/03/01/
KW  - assume-guarantee verification
KW  -  complexity
KW  -  component-based software verification
KW  -  computational cost
KW  -  consumption memory
KW  -  depth-limited search strategy
KW  -  minimized assumption generation
KW  -  model checking
KW  -  object-oriented programming
KW  -  optimization
KW  -  program verification
KW  -  search tree
KW  -  software evolution
KW  -  software maintenance
KW  -  state space explosion problem
KW  -  subtree
KW  -  system rechecking
KW  -  tree searching
TI  - An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification
SP  - 1 
AV  - none
EP  - 6
T2  - 2012 IEEE RIVF International Conference on Computing and Communication Technologies
ER  -