Formal Methods

این کتاب مجموعه مقالات داوری بیست و دومین سمپوزیوم بین‌المللی روش‌های رسمی، FM 2018، که در آکسفورد، انگلستان، در ژوئیه 2018 برگزار شد، تشکیل می‌شود.
44 مقاله کامل ارائه‌شده به همراه 2 مقاله دعوت‌شده با دقت بررسی و انتخاب شدند. 110 ارسال. آنها روش های رسمی را برای توسعه و ارزیابی سیستم ها ارائه می کنند. به عنوان مثال می‌توان به سیستم‌های مستقل، روبات‌ها و سیستم‌های فیزیکی-سایبری به طور کلی اشاره کرد. این مقالات طیف گسترده ای از موضوعات را در زمینه های زیر پوشش می دهد: روش های رسمی بین رشته ای. روش های رسمی در عمل؛ ابزار برای روش های رسمی؛ نقش روش های رسمی در مهندسی سیستم های نرم افزاری؛ و مبانی نظری.

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.