Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems

Dissertation

Open access

Gaoyan Xie

Doctor of Philosophy (PhD), Washington State University

08/2005

Handle:

https://hdl.handle.net/2376/380

Files and links (1)

pdf

g_xie_0722051.86 MBDownload View

Open Access

Component software

Computer programs -- Verification

5 File views/ downloads

14 Record Views

Title: Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems
Creators: Gaoyan Xie
Contributors: ZHE DANG (Advisor) - Washington State University, Electrical Engineering and Computer Science, School of
Awarding Institution: Washington State University
Academic Unit: Electrical Engineering and Computer Science, School of
Theses and Dissertations: Doctor of Philosophy (PhD), Washington State University
Identifiers: 99900876240301842
Language: English
Resource Type: Dissertation