Article thumbnail

Assume-Guarantee Verification of Evolving Component-Based Software

By Ngoc Hung Pham


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:
Provided by: JAIST Repository

Suggested articles

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