Article thumbnail

Assume-Guarantee Verification of Evolving Component-Based Software

By Ngoc Hung Pham

Abstract

Supervisor:Associate Professor Toshiaki Aoki情報科学研究科修

Topics: verification, model checking, assume-guarantee reasoning, assume-guarantee verification, modular verification, component evolution, conformance testing, learning algorithm, assumption, component-based software
Year: 2009
OAI identifier: oai:dspace.jaist.ac.jp:10119/8337
Provided by: JAIST Repository

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.