Before revision: The figure illustrates how certification and verification of low-level code could be established by the use of a certifying compile .
After revision: The figure illustrates how certification and verification of low-level code could be established by the use of a certifying compiler .