1. An article of manufacture comprising: at least one computer usable medium having computer readable program code logic to verify compiled code of a processing environment, said computer readable program code logic when executing performing the following: compiling code using one version of a compiler to provide one compiled code, wherein the code is written in a programming language in which a complete run-time environment for that programming language is unavailable for verifying the compiled code; compiling the code using another version of the compiler to provide another compiled code; applying the one compiled code to machine state to obtain one result and the another compiled code to the machine state to obtain another result; and automatically comparing the one result and the another result to determine whether the another version of the compiler is accurate.