Add verification docs