SANTA CLARA, Calif., Sept. 19, 2011 /PRNewswire/ -- NextOp Software, Inc. today announced that IDT Corporation (NYSE: IDT), has signed a multi-year, multi-license agreement for NextOp's BugScope assertion synthesis technology.
BugScope automatically generate assertions and...