*.val is an ASN.1 binary file used by NCBI and TraDES.
It contains the 3D structure information and can be converted into a PDB file...
use the command:
See the FAQ page (Question #2) for how to convert a PDB file into a *.val file.
Use the command
For better structures (but slower) use the -m option which will perform a CHARMM minimization on the structure before writing it out. This is helpful for the unfolding methods.