La recherche au LSV

Le LSV consacre ses recherches à la vérification des systèmes critiques et embarqués, des bases de données et des protocoles de sécurité. Le LSV développe les fondements mathématiques et algorithmiques nécessaires à la conception de logiciels en vue d'automatiser les preuves de correction et la détection d'erreurs.

Propositions de stage au LSV

Voir la page des propositions de stage

Des propositions de stages de Master et de thèse sont régulièrement publiées par des chercheurs du LSV sur nos thématiques.

Axes de recherche du LSV

À propos du LSV

En savoir plus

Publications
Logiciels
Offres de stage

le rapport scientifique pour le contrat quinquennal 2014 - 2018

le livre du LSV : LSV bookSystems and Software Verification. Model-Checking Techniques and Tools

Publications récentes

Toutes les publications du LSV

J. Maier, M. Függer, T. Nowak and U. SchmidTransistor-Level Analysis of Dynamic Delay ModelsIn ASYNC'19. IEEE Computer Society, May 2019. To appear. BibTeX )
B. Bollig, P. Bouyer and F. ReiterIdentifiers in Registers - Describing Network Algorithms with LogicIn FoSSaCS'19, LNCS. Springer, April 2019. To appear. Web page | PDF | BibTeX )
P. Jancar and S. SchmitzBisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete, Preprint, 2019. Web page | BibTeX )
S. Colin, R. Lepigre and G. SchererUnboxing Mutually Recursive Type DefinitionsIn JFLA'19. January 2019. To appear. PDF | BibTeX )
S. Haar, J. Kolcák and L. PaulevéCombining Refinement of Parametric Models with Goal-Oriented Reduction of DynamicsIn VMCAI'19, LNCS. Springer, January 2019. To appear. Web page | PDF | BibTeX )

Toutes les publications du LSV