Hormoz Zarnani June 15, 2005 Title: Verifying the Intentional Naming System Abstract: The Intentional Naming System (INS) is a scheme for resource discovery and service location in dynamic networks of computers and devices. INS allows client applications to refer to "what" service they are looking for as opposed to "where" in the network topology it resides. I will be using ACL2 to explore and verify the algorithms of INS and its underlying naming semantics. In my talk, I will present this naming system in more detail and discuss possible approaches to solving this problem.