Speaker: Ebele Esimai

Title: Modeling HexNet in ACL2

Abstract: In this talk, we will present the current model of HexNet in the
ongoing effort to give a complete specification of the network. We will
reexamine features of the network and state some of the theorems desired of
the model. Finally, we will discuss methods required for proofs efforts and
future plans towards a verified model.