@inproceedings{jakse:hal-01331973, TITLE = {{V{\'e}rification interactive de propri{\'e}t{\'e}s {\`a} l'ex{\'e}cution d'un programme avec un d{\'e}bogueur}}, AUTHOR = {Jakse, Rapha{\"e}l and Falcone, Yli{\`e}s and M{\'e}haut, Jean-Fran{\c c}ois and Pouget, Kevin}, URL = {https://inria.hal.science/hal-01331973}, BOOKTITLE = {{Compas'2016}}, ADDRESS = {Lorient, France}, SERIES = {Compas'2016 : Parall{\'e}lisme / Architecture / Syst{\`e}me Lorient, France, du 5 au 8 juillet 2016}, YEAR = {2016}, MONTH = Jul, KEYWORDS = {Mots-cl{\'e}s : monitoring ; d{\'e}bogage ; v{\'e}rification ; propri{\'e}t{\'e} ; interactif}, PDF = {https://inria.hal.science/hal-01331973/file/paper.pdf}, HAL_ID = {hal-01331973}, HAL_VERSION = {v1}, }