Our Mission

To extend the state-of-the-art in technologies for formal verification of hardware and software,
Electronic Design Automation (EDA), cyber security, Boolean Satisfiability (SAT), solving of
Constraint Satisfaction Problems (CSPs), planning, scheduling, and other computer science and
computer engineering applications. To design and develop computer hardware and software.
To provide consulting services in these fields.

Some of Our Projects

Crew Exploration Vehicle

In several R&D projects for NASA, we are developing technology to formally verify the computer systems
on the Multi-Purpose Crew Vehicle (MPCV), the next generation of spacecraft that will replace the Space Shuttle,
and will be used for human flights to the Moon and Mars, including for building of human bases there.

Our Customers

U.S. Department of Defense U.S. Department of Energy NASA


Dr. Miroslav N. Velev, President
Email: miroslav.velev@aries-da.com

Copyright © 2015 by Aries Design Automation, LLC