TDS - A TED-based Synthesis and Verification System

TDS is TED-based Synthesis and Verification System developed over several years at UMass by talented PhD students: Priyank Kalla, Serkan Askar, Qian Ren, and Daniel Gomez-Prado (most recent version being developed by Daniel). TED, a Taylor Expansion Diagram, is a canonical representation of word level, integer-valued functions, originally developed by Maciej Ciesielski.

• This TDS manual describes the use of TDS system. A list of all functions provided by TDS is available by typing "help" at the TDS prompt.
• Make sure to put the following file to use some useful aliases: tds.aliases
• You can download the Linux version of TDS from the following links:

  • Linux and source code (7Mb): tds_linux.tar.gz
  TDS poster(PDF).