@inproceedings{79a04c4a219947a0b249f12c877fd161,
title = "Constructing property-oriented models for verification",
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 frame-work. The correctness of property-oriented model construction is ensured by the conformance of semantic and syntactic mappings",
author = "He Jifeng and Shengchao Qin and Adnan Sherif",
year = "2006",
language = "英语",
isbn = "354034750X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "85--100",
booktitle = "Unifying Theories of Programming - First International Symposium, UTP 2006, Revised Selected Papers",
address = "德国",
note = "1st International Symposium on Unifying Theories of Programming, UTP 2006 ; Conference date: 05-02-2006 Through 07-02-2006",
}