Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/13631
Title: Tools and verification techniques for integrated formal methods
Authors: SUN JING
Keywords: Integrated Formal Methods, TCOZ, UML, XML/XSL, specification animation, formal reasoning.
Issue Date: 12-Feb-2004
Source: SUN JING (2004-02-12). Tools and verification techniques for integrated formal methods. ScholarBank@NUS Repository.
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.
URI: http://scholarbank.nus.edu.sg/handle/10635/13631
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
SunJ.pdf903.53 kBAdobe PDF

OPEN

NoneView/Download

Page view(s)

220
checked on Dec 11, 2017

Download(s)

195
checked on Dec 11, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.