Formal Verification

Centaur Logo

ACL2 Books

We have an active role in the ACL2 Books project.

We are now hosting the ACL2 + Books Manual for ACL2 6.4.

Academic Publications

TODO: eventually list our papers, technical reports, etc.

Contact Information

Name / email (@centtech.com)