罗克韦尔
ACL2 的工业界用户包括超微半导体公司、Centaur科技、国际商业机器股份有限公司、英特尔、甲骨文公司和罗克韦尔柯林斯。