HAMR has been developed primarily at the SAnToS Library in the Computer Science Department of Kansas State University. HAMR is part of the broader Sireum infrastructure for building modeling and programming language analysis and verification tools.

Development has been funded by several U.S. Department of Defense and Department of Homeland Security projects:

• DARPA PROVERS INSPECTA Project (Collins Aerospace)
• DARPA CASE BriefCase Project (Collins Aerospace)
• DHS CPS - ISOSCELES Project (Adventium Labs (now Galois))