Methodology for Specification and Verification of High-Level Requirements with MetAcsl.

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

Browse the full ICSE paper archive.