{Software analysis for verifying properties of programs using software metrics}
Currently, there are no issues on this topic. Create one.