I believe it’s possible to some extent… otherwise I wouldn’t dare to travel by car or airplane (which contains millions of lines of code and a bug could mean life-or-death).
The question is, will we write our apps with the same level of rigor and precaution as those who write these airplane software? Or should we?