4 ms·A precise and formally verified specification is usually just referred to as "PROD".by noobker 4y agoA precise and formally verified specification is usually just referred to as "PROD".