- AdaCore is a software company that helps customers build critical software. It has expertise in Ada compilation and provides tools like SPARK and CodePeer for verification. - The company has locations in France and the US. It is committed to openness, customer support, and research to strengthen its tools and help more customers. - QGen is a code generator that takes Simulink and Stateflow models and generates code in SPARK or MISRA C. It includes model checking and has been qualified for safety standards. The goal is for QGen to support multiple modeling languages and be extensible like GCC.