Static techniques involve examining software work products like requirements and code manually or with tools, without executing the software. This includes static analysis tools that can check for adherence to coding standards and metrics like comment frequency. Reviews are also a static technique where artifacts like requirements and test designs are examined by a group. The most formal type of review is an inspection, led by a trained moderator, while a walkthrough is led by the author.