@unpublished{clochard:hal-01926659, TITLE = {{Deductive Verification with Ghost Monitors}}, AUTHOR = {Clochard, Martin and March{\'e}, Claude and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-01926659}, NOTE = {working paper or preprint}, YEAR = {2018}, MONTH = Nov, KEYWORDS = {deductive verification ; unstructured programs ; ghost code ; games ; Hoare logic ; predicate transformers ; infinite behaviors}, PDF = {https://inria.hal.science/hal-01926659/file/article.pdf}, HAL_ID = {hal-01926659}, HAL_VERSION = {v1}, }