Our Mission
To extend the state-of-the-art in technologies for formal verification of hardware and software,
cyber security, Boolean Satisfiability (SAT), solving of Constraint Satisfaction Problems (CSPs),
planning, and scheduling.
Some of Our Projects
In several R&D projects for NASA, we are developing technology to formally verify the computer systems
on the Crew Exploration Vehicle (CEV), the next generation of spacecraft that will replace the shuttle
and will be used for human flights to the Moon, including for building of human bases there.
Our Customers
Contact
Dr. Miroslav N. Velev, President
Email: miroslav.velev@aries-da.com
Copyright © 2009 by Aries Design Automation, LLC
