This paper discusses DO-254 and what it requires for verification (including advanced methods for DAL A/B designs). It also covers the original intent of Elemental Analysis, the way it is typically satisfied today with code coverage, introduces ABV, and proposes a method for using this technique to satisfy Elemental Analysis and support a systematic approach to satisfying a claim of Robustness testing.