Our Mission is to use state-of-the-art AI techniques to design and develop tools that transform the software development process of critical and embedded systems, achieving high reliability in unprecedented times, providing fast innovation cycles, and allowing engineers to focus on creative and high-value tasks. To make this possible we have a multidisciplinary team, with experience both in critical systems and software development in various industries (functional safety standards, Software Engineering methodologies and tools) and AI techniques, verification methods, and algorithmic design. We also closely collaborate with several research centers specialized in the various technologies we use.