The fact
It detects critical bugs before compilation, focusing on memory and threads.
Integrated into the Rust ecosystem, it aims to enhance the reliability of critical systems.
Click the link to read an article on the topic:
Why it matters
Kani répond à un besoin croissant de sécurité dans les langages systèmes, notamment pour les infrastructures critiques où Rust est de plus en plus adopté.