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 - Accepted Version (120Kb) |
| Status: | Peer-reviewed |
| 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 |
![[Feed]](/images/RSSwebsmall.jpg)
![[Tweets]](/images/Twitterwebsmall.png)
