verification

3зной

1ответ

Dafny: копировать область области метод валидация

Я работаю над языковым сопоставлением нескольких языков, созданных с учетом верификации (в то время, когда Дайни и Фрама-С и т. Д.) Мне был дан этот пример функции, которая скопировала область одного

1зной

1ответ

Проверьте достоверность ключа без ослабления силы шифрования

У меня есть очень большой блок кода (несколько секунд до склепа). Я использую KeyA для шифрования. позже в процессе, я получаю ключ (не обязательно KEYA) ... , но мне не нужно, чтобы открыть блок еще,

1зной

2ответ

УФМ-последовательности, производящие связанные номера

В тесте UVM я объявляю и начинаю последовательности, но вывод из отдельных последовательностей с одинаковыми параметрами каким-то образом «связан» (см. Пример внизу), поэтому, когда я занимаюсь только

0зной

1ответ

Проверка состояния проверки электронной почты Parse от swift

После того, как синтаксический анализатор отправил электронное письмо на введенный адрес электронной почты, как я могу проверить, нет ли адреса электронной почты, который был проверен с помощью быстро

-1зной

1ответ

Как использовать модуль как библиотеку в android

Я собираюсь использовать cognalys (стороннюю библиотеку) в моем приложении для проверки на мобильных устройствах. Я клонировал это из git-хаба, и я импортировал этот cognalys в свое приложение в качес

0зной

2ответ

Проверка проверки пользователя с помощью '==' на Bool выдает ошибку с использованием Swift и Parse

Я пытаюсь проверить, есть ли у пользователя, и если они проверили свою учетную запись (по номеру телефона), а если есть, и они они продолжаются, но если есть пользователь, который не подтвердил свой н

0зной

1ответ

Segues не выполняется при запуске с использованием Swift и Parse

Итак, я настроил свое приложение, чтобы определить, есть ли пользователь и что делать, если есть или нет. Кроме того, если они подтвердили свою учетную запись (по номеру телефона и смс), моя проблема