Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac
Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...
Springer2010