Infer verfügt auch über eine abstrakte Domain-Sprache für spezifisches Syntax-Baum-Flinting, die auf den Ideen von Model Checking for Computation Tree Logic basiert.
Infer hat auch eine Domain-Abstract-Sprache für spezifisches Syntax-Tree-Flinting, die auf den Ideen von Model Checking for Computation Tree Logic basiert.