Aplikace formálního popisu

Aplikace formálního popisu je technika pro definování struktury a vlastností systému, sloužící k definici a popisu systémů počítačové techniky.