A precise and formally verified specification is usually just referred to as "PROD".