ACL2 Seminar, April 27, 2018

Speaker: Ebele Esimai

Title: A short review of the HexNet model in ACL2

Abstract: In this talk, I will present a summary of my work in
modeling the HexNet network topology in ACL2.  I will give a top-down
review of the ACL2 code and discuss the significance and context of
this project.