Verocel’s software and hardware certification practices conform to the state-of-the-art regardless of the standards applied. We are applying new techniques in the area of Streamlining Certification that offer advantages when dealing with less-than-fully-deterministic applications. These techniques are being used in certification of autonomous systems and the areas of modelling and code generation.