Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.Published in:IEEE Software, 2013, v. 30, n. 3, p. 50, doi. 10.1109/MS.2013.43By:Moy, Yannick;Ledinot, Emmanuel;Delseny, Hervé;Wiels, Virginie;Monate, BenjaminPublication type:Article