(1) Špecifikácia napísané a schválené v súlade s so sídlom standards.~(2) špecifikácia napísané formálne zápisy, často za použitia v dôkaz správnosti.