Header banner
Revain logoHome Page
veriflow logo

Veriflow Review

3

Β·

Very good

Revainrating 4 out of 5Β Β 
RatingΒ 
4.0
Security, Risk Assessment

View on AmazonView on Π―M

Description of Veriflow

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

Reviews

Global ratings 3
  • 5
    0
  • 4
    3
  • 3
    0
  • 2
    0
  • 1
    0

Type of review

Revainrating 4 out of 5

Great for Security Testing, Vulnerability Management

I like how easy it is set up in VMs or docker containers with minimal config work required by me (or my team). And they have some pretty advanced capabilities that you'd expect from an enterprise solution including integration into our CI/CD pipeline using Docker Hub tags! Documentation could use more examples since we're relatively new customers but overall this has been really helpful so far setting things right quickly when needed most - eases debugging of issues before deploying changes…

Pros
  • Easy setup for multiple users as well, allowing them access easily even remotely via web interface
Cons
  • No additional cost should be added per user

We are using it in our lab at UC Berkeley's CS Dept (http://cslab2) - its great because you can run models both offline or online as needed, which is very useful if resources aren't available all of the time! This makes model sharing much easier than with other toolsets like Modelio we've been working with previously; also allows us to do more testing without having tons of physical hardware around. I think that there could be some improvements here- maybe allowing users who have not yet…

Pros
  • Easy setup for running simulations locally vs remotely over ssh + web interface works well once set up correctly = super helpful!!
Cons
  • Some minor issues related specifically to remote simulation via SSH still occur occasionally

Revainrating 4 out of 5

Best formal proof product available today

We have used veriflow in our team at work for years now. It's not perfect but it is the best tool we've seen so far. No more guessing about whether an API call will succeed or fail. You get a clear feedback from the tool itself. The UI of the tool can be improved. We are using it to ensure our APIs are correct and safe. The UI is very well designed and easy to use. I like that it can run in real time and has good logging features. It's expensive compared to other products in this space. I would

Pros
  • It's easy to setup and run
Cons
  • If it had a free tier it would be perfect