Formal Verification

Centaur Logo

ACL2 Books

We have an active role in the ACL2 Books project.

We are now hosting the ACL2 System and Book Documentation

Academic Publications

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

Contact Information

Name / email (@centtech.com)