MetAcsl: Specification and Verification of High-Level Properties.

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

Browse the full TACAS paper archive.