Infer también tiene un lenguaje abstracto de dominio para la sintaxis específica del árbol, basado en ideas de Model Checking for Computation Tree Logic.
Infer también tiene un dominio - lenguaje abstracto para la sintaxis específica del árbol, basado en ideas de Model Checking for Computation Tree Logic.