Ensoft

ENSOFT specializes in developing and modernizing high-assurance software, serving over 450 companies worldwide. Their clientele includes major players in the automotive, aerospace, and defense sectors across North America, Europe, and Asia, as well as companies in construction, energy, healthcare, media, consumer electronics, and finance. ENSOFT's research portfolio covers cybersecurity, program analysis, algebra, and graph theory.

The company offers a range of services including engineering services for critical embedded applications, custom program analysis, and process automation. They also provide technical due diligence to evaluate software assets and uncover hidden risks before mergers and acquisitions. ENSOFT's training courses focus on software configuration management for Simulink projects, integrating Simulink into modern DevOps, and transforming models for standards compliance.

ENSOFT has executed multiple high-profile DARPA research projects and supports clients' internal research initiatives. Their products, such as SimDiff, SimDiff Automation, Modelify, Simhance, Atlas, and SimEngine, are designed to enhance collaboration on Simulink models and facilitate the conversion of C code to Simulink models.