Описание тега nusmv

NuSMV - это программное обеспечение для проверки моделей, бесплатное для некоммерческих и академических целей. Он используется для проверки и подтверждения оборудования и программного обеспечения.