Header banner
Revain logoHome Page
veriflow логотип

Veriflow Отзыв

3

·

Очень хорошо

Revainrating 4 out of 5  
Рейтинг 
4.0
Security, Risk Assessment

Посмотреть на ЯM

Описание Veriflow

Veriflow brings formal verification to network infrastructure for the first time, continuously ensuring your network operates as intended.

Отзывы

Глобальные рейтинги 3
  • 5
    0
  • 4
    3
  • 3
    0
  • 2
    0
  • 1
    0

Тип отзыва

Мне нравится, как легко он настраивается в виртуальных машинах или док-контейнерах с минимальной работой по настройке, необходимой мне (или моей команде). И у них есть довольно продвинутые возможности, которые вы ожидаете от корпоративного решения, включая интеграцию в наш конвейер CI/CD с использованием тегов Docker Hub! В документации можно было бы использовать больше примеров, так как мы относительно новые клиенты, но в целом это было действительно полезно до сих пор, чтобы быстро исправить…

Плюсы
  • Простая настройка для нескольких пользователей, что позволяет им легко получать доступ даже удаленно через веб-интерфейс.
Минусы
  • Дополнительные расходы не должны добавляться за пользователя

Мы используем его в нашей лаборатории в отделе компьютерных наук Калифорнийского университета в Беркли (http://cslab2) — это здорово, потому что вы можете запускать модели как в автономном, так и в онлайн-режиме по мере необходимости, что очень полезно, если ресурсы недоступны все время! Это значительно упрощает совместное использование моделей по сравнению с другими наборами инструментов, такими как Modelio, с которыми мы работали ранее; также позволяет нам проводить больше тестов, не имея…

Плюсы
  • Простая настройка для локального запуска симуляций по сравнению с удаленным через ssh + веб-интерфейс работает хорошо после правильной настройки = супер полезно!
Минусы
  • Некоторые незначительные проблемы, связанные конкретно с удаленным моделированием через SSH, все еще иногда возникают.

Revainrating 4 out of 5

Лучший формальный пробный продукт, доступный сегодня

Мы используем Veriflow в нашей команде уже много лет. Это не идеально, но это лучший инструмент, который мы когда-либо видели. Больше не нужно гадать, будет ли вызов API успешным или неудачным. Вы получаете четкую обратную связь от самого инструмента. Пользовательский интерфейс инструмента может быть улучшен. Мы используем его для обеспечения правильности и безопасности наших API. Пользовательский интерфейс очень хорошо разработан и прост в использовании. Мне нравится, что он может работать в…

Плюсы
  • Легко настроить и запустить
Минусы
  • Если бы у него был бесплатный уровень, это было бы идеально