Please use this identifier to cite or link to this item:
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
Citation: 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.
Appears in Collections:Ph.D Theses (Open)

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



Page view(s)

checked on May 18, 2019


checked on May 18, 2019

Google ScholarTM


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