eprintid: 34
rev_number: 12
eprint_status: archive
userid: 4
dir: disk0/00/00/00/34
datestamp: 2012-11-01 07:32:48
lastmod: 2016-05-20 09:21:13
status_changed: 2012-11-01 07:32:48
type: conference_item
metadata_visibility: show
creators_name: Pham, Ngoc Hung
creators_name: Nguyen, Viet Ha
creators_name: Aoki, Toshiaki
creators_name: Katayama, T.
creators_id: hungpn@vnu.edu.vn
creators_id: hanv@vnu.edu.vn
title: An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification
ispublished: pub
subjects: IT
divisions: fac_fit
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
date: 2012-03-01
date_type: published
full_text_status: none
pres_type: paper
pagerange: 1 -6
event_title: 2012 IEEE RIVF International Conference on Computing and Communication Technologies
event_type: conference
refereed: TRUE
related_url_type: pub
citation:   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.