Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/22046
Type: | Thesis |
Title: | Compositional verification of component-based heterogeneous systems / Yan Jin. |
Author: | Jin, Yan |
Issue Date: | 2004 |
School/Discipline: | School of Computer Science |
Abstract: | As no single specification or verification method is able to solve all classes of problems, especially with industrial-sized applications, a diversity of modelling languages and analysis techniques specialised and optimized for various domains is needed, along with the ability to use them in combination. The work presented in this thesis has concentrated on developing techniques to support the use of a combination of modelling languages, especially visual languages, for system specification. Also, in order to tackle the main obstacles of model checking and make it more accessible to and usable by practising engineers, this work has focused on providing lightweight but effective methods and tools to alleviate the state space explosion problem in model checking. |
Dissertation Note: | Thesis (Ph.D.)--University of Adelaide, School of Computer Science, 2004 |
Subject: | Heterogeneous computing. Computer systems Verification. |
Description: | "January 2004" Bibliography: leaves 183-198. xv, 198 leaves : ill. ; 30 cm. |
Provenance: | This electronic version is made publicly available by the University of Adelaide in accordance with its open access policy for student theses. Copyright in this thesis remains with the author. This thesis may incorporate third party material which has been used by the author pursuant to Fair Dealing exception. If you are the author of this thesis and do not wish it to be made publicly available or If you are the owner of any included third party copyright material you wish to be removed from this electronic version, please complete the take down form located at: http://www.adelaide.edu.au/legals |
Appears in Collections: | Research Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01front.pdf | 99.9 kB | Adobe PDF | View/Open | |
02whole.pdf | 10.66 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.