#173 Susan Potter from distributed systems to functional verification