Если у вашего протокола нет спецификации Quint, существует ли он вообще?