eprintid: 1985
rev_number: 8
eprint_status: archive
userid: 304
dir: disk0/00/00/19/85
datestamp: 2016-12-08 03:44:23
lastmod: 2016-12-08 03:44:23
status_changed: 2016-12-08 03:44:23
type: conference_item
metadata_visibility: show
creators_name: Tran, Hoang Viet
creators_name: Le, Chi Luan
creators_name: Pham, Ngoc Hung
creators_id: vietth@vnu.edu.vn
creators_id: luanlc@utt.edu.vn
creators_id: hungpn@vnu.edu.vn
title: A Strongest Assumption Generation Method for Component-Based Software Verification
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: This paper presents a method for generating strongest assumptions during component-based software verification. The key idea of this method is to improve the technique for answering membership queries of the Teacher when responding to the Learner in the
date: 2016-11
date_type: published
full_text_status: public
pres_type: paper
pagerange: 1-6
event_title: The 2016 IEEE RIVF International Conference on Computing and Communication Technologies
event_location: Hanoi, Vietnam
event_dates: 7-9 November 2016
event_type: conference
refereed: FALSE
funders: VNU
projects: QG.16.31
citation:   Tran, Hoang Viet and Le, Chi Luan and Pham, Ngoc Hung  (2016) A Strongest Assumption Generation Method for Component-Based Software Verification.  In: The 2016 IEEE RIVF International Conference on Computing and Communication Technologies, 7-9 November 2016, Hanoi, Vietnam.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985/1/paper%2043.pdf