Wiki Agenda Contact Version française

Publications : David Declerck

Back
[3] David Declerck. Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models. Thèse de doctorat, Université Paris-Saclay, September 2018. [ bib | full text on HAL ]
Keywords: Weak memory ; Model checking ; Verification ; Mémoire faible
[2] Sylvain Conchon, David Declerck, and Fatiha Zaïdi. Compiling parameterized x86-tso concurrent programs to cubicle-w. In Zhenhua Duan and Luke Ong, editors, International Conference on Formal Engineering Methods, number 10610 in Lecture Notes in Computer Science, pages 88--104, 2017. [ bib ]
[1] Sylvain Conchon, David Declerck, Luc Maranget, and Alain Mebsout. V√©rification de programmes C concurrents avec Cubicle : Enfoncer les barri√®res. In Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014. [ bib | full text on HAL ]

Back
This page was generated by bibtex2html.