Addressing verification challenges. (Proceedings series, 2007)