@inproceedings{gueneau:hal-02167236, TITLE = {{Formal Proof and Analysis of an Incremental Cycle Detection Algorithm}}, AUTHOR = {Gu{\'e}neau, Arma{\"e}l and Jourdan, Jacques-Henri and Chargu{\'e}raud, Arthur and Pottier, Fran{\c c}ois}, URL = {https://inria.hal.science/hal-02167236}, BOOKTITLE = {{Interactive Theorem Proving}}, ADDRESS = {Portland, United States}, EDITOR = {John Harrison and John O'Leary and Andrew Tolmach}, PUBLISHER = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}}, NUMBER = {141}, YEAR = {2019}, MONTH = Sep, KEYWORDS = {Complexity analysis ; Interactive deductive program verification}, PDF = {https://inria.hal.science/hal-02167236/file/main.pdf}, HAL_ID = {hal-02167236}, HAL_VERSION = {v1}, }