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