@techreport{clochard:hal-01907894, TITLE = {{Deductive Verification via Ghost Debugging}}, AUTHOR = {Clochard, Martin and Paskevich, Andrei and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-01907894}, TYPE = {Research Report}, NUMBER = {RR-9219}, INSTITUTION = {{Inria Saclay Ile de France}}, YEAR = {2018}, MONTH = Oct, KEYWORDS = {Deductive Verification ; Infinite executions ; Games ; V{\'e}rification d{\'e}ductive ; ex{\'e}cutions infinies ; simulation ; jeux}, PDF = {https://inria.hal.science/hal-01907894/file/RR-9219.pdf}, HAL_ID = {hal-01907894}, HAL_VERSION = {v1}, }