Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T.
(2012)
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies.
Full text not available from this repository.
| Item Type: |
Conference or Workshop Item
(Paper)
|
| Uncontrolled Keywords: |
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 |
| Subjects: |
Information Technology (IT) |
| Divisions: |
Faculty of Information Technology (FIT) |
| Depositing User: |
Prof. Xuan-Tu Tran
|
| Date Deposited: |
01 Nov 2012 07:32 |
| Last Modified: |
20 May 2016 09:21 |
| URI: |
http://eprints.uet.vnu.edu.vn/eprints/id/eprint/34 |
Actions (login required)
 |
View Item |
