relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985/
title: A Strongest Assumption Generation Method for Component-Based Software Verification
creator: Tran, Hoang Viet
creator: Le, Chi Luan
creator: Pham, Ngoc Hung
subject: Information Technology (IT)
description: 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
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985/1/paper%2043.pdf
identifier:   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.