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 Batch Templates by Christian Bard

This is a set of scripts allowing to launch verification in batch modules by modules. (batch, polyspace batch, batch download)

EmailNotifier by Alex Debarros

A tool to receive an email notification at the end of a PolySpace verification (polyspace email)

SCREAMConverter by Alex Debarros

A tool to convert SCREAM comments into the new 10a acronyms (polyspace scream sqo)

pstd2tab by Tomas Tichy

Converts PolySpace queue-manager's log file to readable table format. (polyspace, queue manager, log file)

PolySpace Stats by Christian Bard

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