CS isn’t, but software engineering takes strict approaches to design and development for safety critical systems. I’m not talking about finance applications however.

I’m talking about like flight control computers, valve assist device controllers, medical lab automation and notification systems, weapon platform communication systems.