'Infer també té un llenguatge específic de domini per a la sintaxi abstracta de l'arbre de linting , basat en idees de Model Checking for Computation Tree Logic'
'Infer també té un llenguatge de domini abstracte per a la sintaxi específica de la linting d'arbres , basat en idees de Model Checking for Computation Tree Logic .'