Sentence:  Using assumptions, however, our goal is to prove correctness while finding complex <WSD>corner-case</WSD> bugs. 
Meaning of the word marked with <WSD> tags:  A situation that occurs outside of normal operating procedures.