SCOPE: interactively tabulate SEER excel variables by Rex Cheung

This takes SEER excel column data interactively, tabulate them, write back in table format. (data import, data export, optimization)

output=xls2tabulate2xls(xlsfilename)

PolySpace Stats by Christian Bard

Give a synthesis of a PolySpace verification based on the log file (polyspace, synthesis, verification)