Hacker News new | ask | show | jobs
by noobker 1215 days ago
A precise and formally verified specification is usually just referred to as "PROD".