ترجمه فارسی توضیحات (ترجمه ماشینی)
نرم افزار بررسی مدل: دوازدهمین کارگاه بین المللی SPIN، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 22-24 اوت، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کارگاه بین‌المللی SPIN در نرم‌افزار بررسی مدل، SPIN 2005 است که در سانفرانسیسکو، ایالات متحده آمریکا در آگوست 2005 برگزار شد.
15 مقاله کامل اصلاح‌شده ارائه‌شده به دقت بررسی شدند و انتخاب از 45 ارسالی؛ علاوه بر این، 4 مقاله ارائه ابزار انتخاب شده از 6 ارسالی وجود دارد. این مقالات در بخش‌های موضوعی در مورد نمایش حالت و انتزاع، پرداختن به همزمانی، پرداختن به داده‌های پیچیده، بررسی ویژگی‌های زمانی، و بررسی امنیت و ویژگی‌های زمان واقعی سازمان‌دهی شده‌اند.
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.
The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.