(1) Rakstveida un saskaņā ar apstiprināto specifikāciju izveido standards.~(2) specifikācija, rakstīta valodā formālu notāciju bieži izmantošanai pierādījumu pareizību.