J. He
Constructing Property-Oriented Models for Verification
He, J.; Qin, S.; Sherif, A.
Authors
S. Qin
A. Sherif
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.
Citation
He, J., Qin, S., & 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 (85-100). https://doi.org/10.1007/11768173_6
Conference Name | First International Symposium on Unifying Theories of Programming (UTP 2006) |
---|---|
Conference Location | County Durham, UK |
Start Date | Feb 5, 2006 |
End Date | Feb 7, 2006 |
Publication Date | Feb 1, 2006 |
Deposit Date | Nov 16, 2009 |
Publicly Available Date | Dec 10, 2009 |
Publisher | Springer Verlag |
Pages | 85-100 |
Series Title | Lecture notes in computer science |
Series Number | 4010 |
Book Title | Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers. |
ISBN | 9783540347507 |
DOI | https://doi.org/10.1007/11768173_6 |
Files
Accepted Conference Proceeding
(122 Kb)
PDF
Copyright Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/11768173_6
You might also like
PTSC: probability, time and shared-variable concurrency
(2009)
Journal Article
Memory Usage Verification Using Hip/Sleek
(2009)
Conference Proceeding
An Interval-based Inference of Variant Parametric Types
(2009)
Conference Proceeding
A Heap Model for Java Bytecode to Support Separation Logic
(2008)
Conference Proceeding
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search