Extend the description of abstract interpretation and deductive verification methods in section 5.3 (Methods and tools)