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.
ο»Ώ