Can't believe that it would be hard for software to detect frozen AoA sensors. If you change the eleivator or thrust and there is no effect on AoA sensors at a certain point the data should he figured as unreliable. To only count on the pilots, that they push the right two buttons at the right time might not always work out.