Boeing has completed analysis of 787 side-of-body reinforcement, as well as its final gauntlet testing, clearing the way for the final few steps towards the aircraft's long-delayed maiden sortie.

How exhaustive static analysis overcomes the limitations of traditional tests and static-analysis tools. How exhaustive static analysis identifies a buffer overflow by using code samples. How hardware ...