Правда ли, что в NuSMV нет таких значений, как NULL, nil, None? И что мы не должны создавать модели процесса, потому что модели должны представлять собой электронные схемы? Мой сценарий заключается в том, что у меня есть один разъем UART,...