Verifying a Distributed Database Lookup Manager Written in Erlang