Verocel: specializes in software verification according to DO-178B and other safety related standards. The Verocel offering comprises verification services, consulting, training, and qualified tools. Verocel’s specialty is the independent development of complete certification evidence for software projects. This is offered at a fixed price with certification warranty, with all materials delivered on a hyperlinked DVD. Verocel offers qualified tools to help with various aspects of the verification process, like verification life-cycle management and requirements traceability, structural coverage analysis on source or object code, worst-case stack size analysis, control coupling analysis, as well as XML based configuration of IMA systems.