| |
Кулямин, В. В.
Интеграция методов верификации программных систем [Текст] / В. В. Кулямин
// Программирование. – 2008. – № 4. – С. 41-55.
В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. |
