Infer també té un llenguatge abstracte de domini per a la sintaxi específica de la linting d'arbres , 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 .