Writing software that's safe even in the presence of bugs...

Writing software that's safe even in the presence of bugs makes the challenge even more interesting.