Specification-Based Inspection

Given a code implementing a specification, how to check whether the code contains bugs without the need to execute it. There are two types of bugs. One is requirements-related bugs and the other is implementation-related bugs. A requirement-related bug is a syntactical expression that prevents the code from correctly implementing the corresponding requirements.