کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10329384 | 685387 | 2005 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Verifying Concurrent Data Structures by Simulation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Verifying Concurrent Data Structures by Simulation Verifying Concurrent Data Structures by Simulation](/preview/png/10329384.png)
چکیده انگلیسی
We describe an approach to verifying concurrent data structures based on simulation between two Input/Output Automata (IOAs), modelling the specification and the implementation. We explain how we used this approach in mechanically verifying a simple lock-free stack implementation using forward simulation, and briefly discuss our experience in verifying three other lock-free algorithms which all required the use of backward simulation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 137, Issue 2, 21 July 2005, Pages 93-110
Journal: Electronic Notes in Theoretical Computer Science - Volume 137, Issue 2, 21 July 2005, Pages 93-110
نویسندگان
Robert Colvin, Simon Doherty, Lindsay Groves,