کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10329380 | 685387 | 2005 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Simpler Reasoning About System Properties: a Proof-by-Refinement Technique Simpler Reasoning About System Properties: a Proof-by-Refinement Technique](/preview/png/10329380.png)
چکیده انگلیسی
Proofs about system specifications are difficult to conduct, particularly for large specifications. Using abstraction and refinement, we propose a proof technique that simplifies these proofs. We apply the technique to Circus (a combination of Z and CSP) specifications of different complexities. Interestingly, all the proofs are conducted in Z, even those concerning reactive behaviour.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 137, Issue 2, 21 July 2005, Pages 5-22
Journal: Electronic Notes in Theoretical Computer Science - Volume 137, Issue 2, 21 July 2005, Pages 5-22
نویسندگان
D. Atiya, S. King, J.C.P. Woodcock,