Compositional CompCert compiler. Categories and Subject Descriptors F.3.1 [Specifying and Verify- ing and Reasoning about Programs]: Mechanical verification.
確定! 回上一頁