Adacore’s CodePeer takes verification of Ada code to the next level.