About EnSoft Corp.

EnSoft helps companies develop and modernize high-assurance software. Today our products and services are used by over 450 companies worldwide including every major automotive, aerospace, and defense company in North America, Europe, and Asia. EnSoft’s clients also include companies in construction, energy, healthcare, media, consumer electronics, and finance. EnSoft’s research portfolio spans cybersecurity, program analysis, algebra, and graph theory. EnSoft has executed multiple high-profile DARPA research projects, as well as aided in clients’ internal research projects.

Contact Us

Phone: +1 (515) 296-3253
EnSoft Corp.
2625 North Loop Drive Suite 2580
Ames, IA 50010
United States

E-mail addresses

For questions related to price and licensing options of our products, or to place an order, please email us at

If you have technical questions about our products or services, please email us at

For feedback about our website, products or services, please email us at

For all other questions, please email us at

Legal Information

Simulink and Stateflow are registered trademarks of The MathWorks, Inc. TargetLink is a registered trademark of dSPACE GmbH. All other trademarks are property of their respective owners.

Atlas for Modelify End-User License Agreement

Modelify End-User License Agreement

SimDiff End-User License Agreement

Privacy Policy

Terms of Use

Logos and Branding

EnSoft’s logos and branding are property of EnSoft Corp. and are important assets to the company. We require that our logos and brands be used properly. If you will be using EnSoft’s logos and branding, please follow the guidelines below when using them in electronic messages, documents, communications, and any other use.

Who are these guidelines important to?

These guidelines are required for all employees, customers, consultants, translators, resellers, and any other third party.

Use of EnSoft’s logos and branding

You can refer to EnSoft products and services by using the provided branding assets in the links below. However, use of these logos and branding assets must (a) be truthful, fair and not misleading and (b) follow the instructions on this page. Updates to branding can occur, so please refer to this page from time to time.


    • The “S” in EnSoft is always capitalized except in the EnSoft logo.
    • Appropriate colors, fonts, shapes, and other specified attributes must be followed as outlined in the branding guide below.
    • Do not incorporate the EnSoft logos or branding with any other product, logo, service, company, or trademark branding.
    • Do not create logos or branding that is similar to or misleading to those of EnSoft.

    Branding Assets

    Some of Our Customers

    EnSoft’s products and services are used by over 450 companies in North America, Asia, and Europe. Below is a partial list of our customers.