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.
![[img]](https://eprints.uet.vnu.edu.vn/eprints/style/images/fileicons/application_pdf.png) |
PDF
Download (139kB) |
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
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Phạm Ng�c Hùng |
| Date Deposited: | 08 Dec 2016 03:44 |
| Last Modified: | 08 Dec 2016 03:44 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985 |
Actions (login required)
 |
View Item |
