Documentation format and verification