Mostly in high integrity computing deployments, those scenarios where people die when software bugs happen.

https://en.m.wikipedia.org/wiki/High-integrity_software

A well known user is NVidia, and car industry security standards.

https://www.adacore.com/press/ada-and-spark-enter-the-automo...

Thanks. I wonder is it fun to program high integrity software.