Virgile Robles

According to our database, Virgile Robles authored at least 5 papers between 2019 and 2024.

Collaborative distances:

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

2024

High-Level Program Properties in Frama-C: Definition, Verification and Deduction.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

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