Infer verfügt auch über eine domänenspezifische Sprache für das Abstrahlen von abstrakten Syntaxstrukturen, basierend auf den Ideen von Model Checking for Computation Tree Logic
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.