Articles with public access mandates - Pascale Le GallLearn more
Not available anywhere: 2
Finite Automata synthesis from interactions
E Mahe, B Bannour, C Gaston, A Lapitre, P Le Gall
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024
Mandates: European Commission, Agence Nationale de la Recherche
Interaction-based offline runtime verification of distributed systems
E Mahe, B Bannour, C Gaston, A Lapitre, PL Gall
International Conference on Fundamentals of Software Engineering, 88-103, 2023
Mandates: European Commission
Available somewhere: 4
MetAcsl: Specification and Verification of High-Level Properties
V Robles, N Kosmatov, V Prevosto, L Rilling, P Le Gall
International Conference on Tools and Algorithms for the Construction and …, 2019
Mandates: European Commission
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
V Robles, N Kosmatov, V Prevosto, L Rilling, P Le Gall
International Conference on Tests and Proofs, 167-185, 2019
Mandates: European Commission, Agence Nationale de la Recherche
High-Level Program Properties in Frama-C: Definition, Verification and Deduction
V Robles, N Kosmatov, V Prevosto, P Le Gall
International Symposium On Leveraging Applications of Formal Methods …, 2024
Mandates: Agence Nationale de la Recherche
Symbolic execution of transition systems with function summaries
I Boudhiba, C Gaston, PL Gall, V Prévosto
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of …, 2017
Mandates: European Commission
Publication and funding information is determined automatically by a computer program