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).
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 - Accepted Version (120Kb)|
|Publisher Web site:||http://dx.doi.org/10.1007/11768173_6|
|Publisher statement:||The original publication is available at www.springerlink.com|
|Record Created:||16 Nov 2009 16:50|
|Last Modified:||29 Nov 2011 17:02|
|Social bookmarking:||Export: EndNote, Zotero | BibTex|
|Usage statistics||Look up in GoogleScholar | Find in a UK Library|