Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers

تأیید زمان اجرا یک جهت اخیر در تحقیق روشهای رسمی است که مکمل روشهای تأیید رسمی معتبر مانند بررسی مدل است. تحقیقات در تأیید زمان اجرا با زبان‌های رسمی مناسب برای بیان ویژگی‌های سیستم که در زمان اجرا قابل بررسی هستند، سروکار دارد. الگوریتم‌هایی برای بررسی ویژگی‌های رسمی بر روی یک ردیابی اجرا. ابزاری کم سربار برای استخراج اطلاعات از سیستم در حال اجرا که برای بررسی اموال کافی است. کاربردهای فن‌آوری تأیید زمان اجرا شامل نظارت بر صحت و عملکرد سیستم است. ساخت اوراکل های آزمایشی به طور رسمی مشخص شده. مجموعه ای از آمار در مورد رفتار سیستم، از جمله. کارگاه بررسی زمان اجرا در سال 2001 آغاز شد و از آن زمان تاکنون هر ساله برگزار می شود. این کارگاه با کنفرانس تأیید به کمک رایانه (CAV) در سال های 2001-2003 و 2005-2006 و با کنفرانس های مشترک اروپایی نظریه و عمل نرم افزار (ETAPS) در سال 2004 برگزار شد. در سال 2007، کارگاه آموزشی در 13 مارس 2007 در ونکوور، بریتیش کلمبیا، کانادا برگزار شد که در کنفرانس توسعه نرم‌افزار جنبه‌محور (AOSD) به منظور بررسی ارتباطات در حال ظهور بین دو جامعه برگزار شد.

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.