It's sort of a different user model. The design is the verification input. But having a basis in formal methods convinced me Verix could do a more through job than just syntax checking. I believe in the promise of what they call intent-driven verification. Whenever the designer gets involved in verification, there's a bias.
Verification is a tough thing.
More often than not you get exactly what you asked for, but it may not be what you want. So checking your designs statically for things that might go wrong really has an appeal to me. I do believe if you can understand logic, there is a promise to do more than lint checks. It seems like something that can tell you about a problem in a few minutes. When I ran it personally it took a few minutes, and there's been another release since then.