Amazon uses Dafny to ensure that their authorization engine makes correct decisions: https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning

Amazon uses Dafny to ensure that their authorization engine makes correct decisions: https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing https://www.amazon.science/blog/how-we-built-cedar-with-auto...