Sentence:  State tests and exception handling are often used in programs to assure smooth execution. Although they may be important in system implementation, these details do not involve the crucial functionality of the system. Therefore, in a high-level specification, these details are unnecessary and should be <WSD>abstracted away</WSD>. 
Meaning of the word marked with <WSD> tags:  To ignore, to omit.