Documentation
Français (FR)

Anglais (EN)

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay

12

Documents

Identifiants chercheurs

pascale-le-gall
0000-0002-8955-6835
IdRef : 081059310

Présentation

Publications

virgile-prevosto

	Symbolic execution of transition systems with function summaries I. Boudhiba , C. Gaston , P. Le Gall , V. Prevosto Lecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩ Article dans une revue cea-01808888v1

	An efficient VCGen-based modular verification of relational properties Lionel Blatter , Nikolai Kosmatov , V. Prevosto , Pascale Le Gall ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece Communication dans un congrès cea-03768250v1
	Methodology for Specification and Verification of High-Level Requirements with MetAcsl Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France Communication dans un congrès cea-03179670v1
	Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩ Communication dans un congrès cea-02301892v1
	MetAcsl: Specification and Verification of High-Level Properties Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Louis Rilling , Pascale Le Gall TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩ Communication dans un congrès cea-02019790v1
	Static and Dynamic Verification of Relational Properties on Self-Composed C Code Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto , Guillaume Petiot Tests and Proofs - TAP, Jun 2018, Toulouse, France Communication dans un congrès cea-01835470v1
	RPP : Preuve automatique de propriétés relationnelles par Self-Composition Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France Communication dans un congrès cea-01835491v1
	Symbolic execution of transition systems with function summaries Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto 11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany Communication dans un congrès cea-01810693v1
	RPP: Automatic proof of relational properties by self-composition L. Blatter , N. Kosmatov , P. Le Gall , V. Prevosto TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩ Communication dans un congrès cea-01808885v1
	Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates Communication dans un congrès cea-01810689v1

	Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩ Chapitre d'ouvrage hal-01470156v1

	Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto [Research Report] Laboratoire MAS - CentraleSupelec. 2015 Rapport hal-01191890v1