05/24/2017 -
The 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017) was held May 22-23, 2017, followed by the first ACL2 Developer's Workshop held on May 24 - 25 at The University of Texas at Austin in the Gates Dell Complex.
Read more
11/30/2015 -
Professor Warren Hunt has been recognized as one of the Association for Computing Machinery's (ACM) 2015 Distinguished Engineers. His research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such specifications.
Read more
11/02/2015 -
Three conferences and a workshop, all in the field of formal verification and system design, were held from the end of September through the beginning of October.
The first, MEMOCODE ‘15, in its thirteenth year, is dedicated to bringing principles of formal methods to hardware development, which enables hardware designers to prove rigorously that their chips will function as intended. Indeed, as hardware has grown exponentially more complex, traditional methods of testing have become unreliable, and instead formal proofs of correctness are preferred.
Read more
