@inproceedings{clochard:hal-02368284, TITLE = {{Deductive Verification with Ghost Monitors}}, AUTHOR = {Clochard, Martin and March{\'e}, Claude and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-02368284}, BOOKTITLE = {{POPL 2020 - 47th ACM SIGPLAN Symposium on Principles of Programming Languages}}, ADDRESS = {New Orleans, United States}, YEAR = {2020}, MONTH = Jan, DOI = {10.1145/3371070}, KEYWORDS = {Infinite behaviors ; Games ; Floyd-Hoare logic ; Unstructured programs ; Ghost code ; Deductive program verification ; Hoare Logic ; Predicate transformers}, PDF = {https://inria.hal.science/hal-02368284/file/article.pdf}, HAL_ID = {hal-02368284}, HAL_VERSION = {v1}, }