Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.

Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall

Browse the full TAP paper archive.