Title: Auditing hardware and software contracts