Add documentation for static verification.