VNU-UET Repository

A Strongest Assumption Generation Method for Component-Based Software Verification

Hoang Viet Tran and Chi Luan Le and Ngoc Hung Pham (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] PDF
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)
ID Code:1985
Deposited By: Phạm Ng�c Hùng
Deposited On:08 Dec 2016 03:44
Last Modified:08 Dec 2016 03:44

Repository Staff Only: item control page