My take:<p>Correctness is a static mathematical property of the source code.<p>Safety is a mechanical property of a program executing on hardware.<p>Correctness is absolute. Either it is a proof [or possible proof] or not.<p>Safety is relative. For a web application, it may mean handling javascript injection attempts. For a spacecraft it may mean handling random bit flips caused by cosmic radiation.<p>Caveat: I&#x27;m not dogmatic about any of this. I&#x27;m not trying to handle all corner cases. And fundamentally, I believe words mean what we mean when we use them; that meaning isn&#x27;t fixed by external sources. I&#x27;m just answering the question to a degree somewhat commensurate with the effort put into asking it.