VERISOFT IN PRESS