Virgile Robles

According to our database, Virgile Robles authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Specifying and verifying high-level requirements on large programs : application to security of C programs. (Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C).

Virgile Robles

PhD thesis, 2022

2021

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

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

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2019

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

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

Proceedings of the Tests and Proofs - 13th International Conference, 2019

MetAcsl: Specification and Verification of High-Level Properties.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019