search

ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry
495 stars 36 forks source link

Update entry for Arm #31

Closed mayankmanj closed 1 year ago

mayankmanj commented 1 year ago

Adding an entry to point to our work on verifying arithmetic hardware designs using ACL2.

ligurio commented 1 year ago

Thanks