Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/13631
DC Field | Value | |
---|---|---|
dc.title | Tools and verification techniques for integrated formal methods | |
dc.contributor.author | SUN JING | |
dc.date.accessioned | 2010-04-08T10:34:56Z | |
dc.date.available | 2010-04-08T10:34:56Z | |
dc.date.issued | 2004-02-12 | |
dc.identifier.citation | SUN JING (2004-02-12). Tools and verification techniques for integrated formal methods. ScholarBank@NUS Repository. | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/13631 | |
dc.description.abstract | Integrated Formal Methods (IFM) combines different formalisms to capture the static and dynamic system properties in a highly structured way. One weakness of IFM is the lack of tool support and connections to the current industrial practice. The purpose of this study was to provide a spectrum of tool supports and verification techniques for one of the IFM - TCOZ formal specification language. In summary, a Z family Markup Language - ZML has been defined and served as a standard interchange format between the various TCOZ support tools; a web environment has been developed for browsing Z family specifications; an executable semantic of TCOZ in a multi-paradigm programming language Oz has been defined for the animation of TCOZ models; a proof system has been established for the formal reasoning of TCOZ specifications; a framework for the embedding of TCOZ inference rules into the theorem prover Isabelle was illustrated to support automatic proof assistance. | |
dc.language.iso | en | |
dc.subject | Integrated Formal Methods, TCOZ, UML, XML/XSL, specification animation, formal reasoning. | |
dc.type | Thesis | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.contributor.supervisor | DONG JIN SONG | |
dc.description.degree | Ph.D | |
dc.description.degreeconferred | DOCTOR OF PHILOSOPHY | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Ph.D Theses (Open) |
Show simple item record
Files in This Item:
File | Description | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
SunJ.pdf | 903.53 kB | Adobe PDF | OPEN | None | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.