Мартин Клеппманн: ИИ сделает формальную верификацию мейнстримом

Мартин Клеппманн, автор книги «Designing Data-Intensive Applications», опубликовал статью о том, как ИИ изменит формальную верификацию. Он считает, что десятилетиями этот метод был уделом единиц, но с приходом ИИ он станет обычной практикой.

По мнению Клеппманна, ИИ-системы смогут автоматизировать сложные аспекты верификации, которые раньше требовали глубокой экспертизы. Это сделает доказательство корректности кода доступным для широкого круга разработчиков, а не только для специалистов по формальным методам.

В статье подчёркивается, что влияние ИИ на разработку ПО часто обсуждают в контексте генерации кода, но потенциал в области верификации остаётся недооценённым. Клеппманн уверен, что именно здесь ИИ совершит прорыв, повысив надёжность программного обеспечения.