Header banner
Revain logoHome Page
Tyler Owens photo
1 Level
1321 Review
77 Karma

Review on Veriflow by Tyler Owens

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 recommend others try out veriflow before making any decisions. Formal verification of our datacenter networks. We're able to prove that our design is correct and that we have implemented the functionality correctly.

img 1 attached to Veriflow review by Tyler Owens

ο»Ώ

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