Question: are techniques of system checking and analysis?
Answer: Static techniques are concerned with the analysis and checking of systemrepresentations such as the requirements document, design diagrams and the program source code. ...