@inproceedings{becker:hal-03217393, TITLE = {{Explaining Counterexamples with Giant-Step Assertion Checking}}, AUTHOR = {Becker, Benedikt and Louren{\c c}o, Cl{\'a}udio Belo and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-03217393}, BOOKTITLE = {{F-IDE 2021 - 6th Workshop on Formal Integrated Development Environments}}, ADDRESS = {Virtual, United States}, EDITOR = {Creissac Campos, Jos{\'e} and Paskevich, Andrei}, PUBLISHER = {{Electronic Proceedings in Theoretical Computer Science}}, YEAR = {2021}, MONTH = May, DOI = {10.4204/EPTCS.338.10}, PDF = {https://inria.hal.science/hal-03217393/file/fide.pdf}, HAL_ID = {hal-03217393}, HAL_VERSION = {v1}, }