MetAcsl: Specification and Verification of High-Level Properties. - Robles, Virgile; Kosmatov, Nikolai; Prevosto, Virgile; Rilling, Louis; Gall, Pascale Le (2019)