ARIES DESIGN AUTOMATION, LLC

From the company

Aries Design Automation, LLC works to extend the state-of-the-art in formal verification of hardware and software, Electronic Design Automation (EDA), cyber security, Boolean Satisfiability (SAT), solving Constraint Satisfaction Problems (CSPs), planning, scheduling, and other computer science and computer engineering applications. It designs and develops computer hardware and software and provides consulting services in these fields. In R&D projects for NASA, it is developing technology to formally verify computer systems on the Multi-Purpose Crew Vehic