Login / Signup
Virgile Robles
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 4
Top Topics
User Requirements
Formal Verification
Low Level
Formal Methods
Top Venues
FormaliSE@ICSE
CoRR
TACAS (1)
TAP@FM
</>
Publications
</>
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prevosto
,
Louis Rilling
,
Pascale Le Gall
Methodology for Specification and Verification of High-Level Requirements with MetAcsl.
FormaliSE@ICSE
(2021)
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prevosto
,
Louis Rilling
,
Pascale Le Gall
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.
TAP@FM
(2019)
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prevosto
,
Louis Rilling
,
Pascale Le Gall
MetAcsl: Specification and Verification of High-Level Properties.
TACAS (1)
(2019)
Virgile Robles
,
Nikolai Kosmatov
,
Virgile Prevosto
,
Louis Rilling
,
Pascale Le Gall
MetAcsl: Specification and Verification of High-Level Properties.
CoRR
(2018)