Formal Methods for Industrial Critical Systems. A Survey of Applications (Margaria Tiziana).

Сегодня формальные методы широко признаны важным этапом в процессе проектирования промышленных систем критической безопасности. В своем наиболее общем определении термин "формальные методы" охватывает все обозначения, имеющие точную математическую семантику, вместе с соответствующими методами анализа, которые позволяют описывать и анализировать поведение системы формальным образом. Выросшая из более чем десятилетней совместной работы в рамках Европейского исследовательского консорциума информатики и математики, книга "Формальные методы для промышленных критических систем: обзор применений" представляет ряд основных формальных методов, в настоящее время используемых для проектирования промышленных критических систем, с акцентом на модельную проверку. Книга преследует тройную цель: уменьшить усилия, необходимые для изучения формальных методов, что было главным препятствием для их промышленного распространения; помочь разработчикам выбрать наиболее подходящие формальные методы для их систем; и предложить набор современных методик и инструментов для анализа критических систем.

This book immediately catches readers' attention by its colourful but elegant covers. It is one of those books that read like quite entertaining yet well-researched journal articles. While the editor's style is straightforward and user-friendly, Margaria captures enough depth of content for readers to say, "Hey, that's new!" It's certain to find its place among the reference bibliography for any researchers, scholars, or practitioners in computer science and software engineering. The author, Tiziana Margaria, is certainly a world-renowned authority on verification and validation techniques such as model checking and formal methods. Her long tenure in software engineering research and industry, as well access to top ranking collaborators in Europe, speaks volumes about her expertise slant.

Книга ``Фoрмaльныe мeтoды'' Маргаpии Tицaны Мapгapии, изданнaя нa aнглийском языке под зaгoлoвкoм: "Formal Methods for Industrial Critical System" предлагает обзор приложений основных фoрмaльных мeтoдoв в индyстриaльнoм сeктope. Тopик ГК для замедления движeния смyсЛ.