Infer also has a domain abstract language for specific syntax tree linting , based on ideas from Model Checking for Computation Tree Logic .
Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .