Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

مدرسه لیزر برای متخصصان صنعت (مهندسان و مدیران) و همچنین محققان دانشگاه از جمله دانشجویان دکترا در نظر گرفته شده است. شرکت کنندگان در مورد مهم ترین پیشرفت های فناوری نرم افزار از پیشگامان این حوزه یاد می گیرند. تمرکز مدرسه اعمال می‌شود، اگرچه از تئوری برای ایجاد پایه‌های محکم استقبال می‌شود. قالب مدرسه از تعامل گسترده بین شرکت کنندگان و سخنرانان حمایت می کند. LASER 2011 به ابزارهای تأیید نرم افزار اختصاص داده شده است. در سال های اخیر پیشرفت های زیادی در زمینه تایید نرم افزار صورت گرفته است. امروزه ابزارهای تأیید نه تنها توسط محققان، بلکه توسط برنامه نویسان به طور فزاینده ای مورد استفاده قرار می گیرند. مدرسه تابستانی بر روی چندین مورد از برجسته‌ترین و کاربردی‌ترین ابزارها از حوزه‌های مختلف تأیید نرم‌افزار (مانند اثبات رسمی، آزمایش و بررسی مدل) تمرکز خواهد کرد. در طول مدرسه، شرکت‌کنندگان نه تنها اصول پشت ابزارها را یاد می‌گیرند، بلکه تجربه عملی نیز کسب می‌کنند و ابزارها را در برنامه‌های واقعی امتحان می‌کنند.

The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.