No. The Ariane 5 disaster was caused by a development team deliberately turning off safety checks. Ada is in all regards a 'safer' language than Pascal, as long as you don't disable the safety features.

http://www-users.math.umn.edu/~arnold/disasters/ariane5rep.h...

http://www.adapower.com/index.php?Command=Class&ClassID=FAQ&...