Before revision: As a result, there is no risk of invalidating the logic as with systems where logical specification must first be translated to a lower-level implementation .
After revision: or a higher-level in rare casesAs a result, there is no risk of invalidating the logic as with systems where logical specification must first be translated to a lower-level implementation .