Las técnicas de descripción formal (FDT) son métodos para definir el comportamiento de un sistema (de procesamiento de información) en un lenguaje con sintaxis y semántica formales, en lugar de un lenguaje natural como el inglés. En las siguientes subcláusulas de esta introducción