Semantics-based program verifiers for all languages. - Andrei Stefanescu; Daejun Park 001; Shijiao Yuwen; Yilong Li; Grigore Rosu (OOPSLA, 2016)