Новый метод верификации дискретных процессов,тезисы доклада