1 paper
Lars B. van den Haak, Anton Wijs, Marieke Huisman
This paper introduces several techniques that improve the scalability of the deductive verification of data-level programs working on arrays and matrices. First of all, we introduc…