آپلود ویدئو | ورود | ثبت نام


Pasargad Summer Schools 2016-

Verification of Concurrent Systems, Summer School 2017, First Day, Part 1


Embed گزارش تخلف

مشاهده 21

دریافت ویدئو: حجم کم کیفیت بالا
توسط Pasargad Summer Schools 2016 در 08 May 2018
توضیحات:

Concurrency is an ever-increasing trend in designing and implementing computer systems. However, their analysis is notoriously challenging due to the combinatorial explosion of their state-spaces. Ad-hoc and manual techniques come short of making any substantial claim regarding quality and correctness of such systems. This school addresses this challenge by presenting a rigorous and expressive modeling framework for specifying such systems and an arsenal of verification techniques to efficiently verify their correctness. We report on several case studies where these techniques have been effectively applied and how they have affected the quality of concurrent and communicating system designs.

لغات کلیدی:


comments powered by Disqus

درباره ما | تماس با ما | قوانین تخته سفید