A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler | IEEE Conference Publication | IEEE Xplore