5231 Verne (1988 JV) is a main-belt asteroid discovered on May 9, 1988 by C. S. Shoemaker at PalomarProducator: SPIR