Меня интересовали формальные методы в течение некоторого времени. Я использовал формальные методы, чтобы рассуждать о некоторых очень конкретных подзонах из нескольких проектов, над которыми я работал
Так что я следующий кусок кода в сплаве: sig Node { }
sig Queue { root : Node }
pred SomePred {
no q, q' : Queue | q.root = q'.root
}
run SomePred for 3
, но это не даст любой экземпляр,