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.
The archive tv-src-1.0.tar.gz contains the source files for version 1.0 of TV.
The following binaries are available:
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.