The format that I suggest is IEEE 830. The techniques that are normally used are the read inspect ready documentation, standard check-list. Often this standard check-list tends to be domain-dependent. I mean the check-lists are prepared for each of the domains separately. Then we have the walkthroughs.
The team that carries out this is basically testing the system.
The mode, the way this whole process goes on is a natural language description.