Господа программисты, а посоветуйте, пожалуйста, годных книг на тему формальных методов анализа программ.
Абстрактная интерпретация, data/control-flow анализ, model checking вот это вот всё. Лучше на английском.