(1) En specifikation skriven och godkänts i enlighet med etablerade standards.~(2) en specifikation skriven i en formell notation, ofta för användning i bevis för riktigheten.