Setup

Getting the Tools

While we have been using the verification tool chain for more than 5 years at BlueRock Security, a public release is still in a beta stage.

The automation is available under commercial and academic licenses. If you're interested in using the tools, please [contact us](mailto:contact@bluerock.io?subject=FM Tools) to determine the right route.

We want to hear your feedback, it is the way we build better products.