TV is a Trace Verifier. It is a testing tool that checks if the output of your program is correct. It does this by comparing the traces that your program produces against a CSP description of the valid behavior of the program.
Binaries for version 1.0 of TV are available for solaris , for openbsd, and for windows.
TV is written in the programming language Haskell. You will need the ghc compiler in order to compiler the source code. If you intend to compile TV on Windows you will need windows version of the UNIX make and patch tools. Both are available in the cygwin toolset. You can get the source code by anonymous CVS from from TV's CVS repository in