Extended static checking
subject: Category:Static program analysis tools
subject: Category:Formal methods
hypernym: Name