Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham Research Online
You are in:

Constructing property-oriented models for verification.

He, J. and Qin, S. and Sherif, A. (2006) 'Constructing property-oriented models for verification.', in Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers. Berlin: Springer, pp. 85-100. Lecture notes in computer science. (4010).

Abstract

This paper advocates a general approach to formal verification by constructing property-oriented models. We instantiate the approach using timing properties, and construct a heterogeneous untimed model in which time is abstracted away, so that we can verify timing properties in an untimed framework. The correctness of property-oriented model construction is ensured by the conformance of semantic and syntactic mappings.

Item Type:Book chapter
Full text:PDF (Copyright agreement prohibits open access to the full-text) - Accepted Version
Publisher-imposed embargo
(120Kb)
Status:Peer-reviewed
Publisher Web site:http://dx.doi.org/10.1007/11768173_6
Record Created:16 Nov 2009 16:50
Last Modified:09 Oct 2014 10:18

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library