Prédire le comportement de programmes par «model checking»
Channel: Fabrice Kordon
Date: 2018-05-21

Cette vidéo présente des travaux de recherche au LIP6 (laboratoire de recherche Sorbonne Université/CNRS) qui visent à améliorer la fiabilité des programmes et des systèmes : la prédiction de comportement par «model checking».

Ces activités concernent plusieurs chercheurs du laboratoire: S. Baarin, C. Braunstein, B. Bérard, C. Dutheillet, E. Encrenaz, J.-M. Ilié, K. Heyndemann, F. Kordon, Q. Meunier, I. Mounier, E. Paviot-Adet, D. Poitrenaud, N. Sznajder, Y. Thierry-Mieg.

Quelques URL de papiers sur le sujet:
https://hal.archives-ouvertes.fr/hal-01981634
https://hal.archives-ouvertes.fr/hal-01822143
https://hal.archives-ouvertes.fr/hal-01852119
http://hal.upmc.fr/hal-01310101/document
https://hal.archives-ouvertes.fr/hal-01484476
https://www.lrde.epita.fr/~renault/publis/ATVA16.pdf
https://hal.archives-ouvertes.fr/hal-01300505
https://hal.archives-ouvertes.fr/hal-01213324
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2015-tacas.pdf
https://hal.archives-ouvertes.fr/hal-01176434
https://hal.archives-ouvertes.fr/hal-01176427
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2013-LPAR.pdf
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2013-CAV+annex.pdf
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2013-TACAS.pdf
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2012-topnoc-TA.pdf
https://hal.archives-ouvertes.fr/hal-00822408
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2012-toponc-pnxdd.pdf
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2011-pn.pdf
https://hal.archives-ouvertes.fr/hal-01223301
http://ceur-ws.org/Vol-726/04-componet-2.pdf
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2008-FUNDAMENTA.pdf
http://pagesperso.lip6.fr/Fabrice.Kordon/pdf/2010-WODES.pdf