Links to the C-based TS, AL, DP, DR, RR verificators 
and 
Perl-based FN and QA verificators are in 
/local/Projects/Perl/Core/bin/