You may be interested in applying Kani if you're in this situation:
- You're working on a moderately important project in Rust.
- You've already invested heavily in testing to ensure correctness.
- You want to invest further, to gain a much higher degree of assurance.
If you haven't already, we also recommend techniques like property testing and fuzzing (e.g. with
bolero). These yield good results, are very cheap to apply, and are often easy to adopt and debug.