Научно-исследовательская лаборатория "Верификация и анализ программ"