@Inproceedings{EPTCS338.10, author = {Becker, Benedikt and Belo Louren\c{c}o , Cl\'audio and March\'e, Claude}, year = {2021}, title = {Explaining Counterexamples with Giant-Step Assertion Checking}, editor = {Proen\c{c}a, Jos\'e and Paskevich, Andrei}, booktitle = {{\rm Proceedings of the 6th Workshop on} Formal Integrated Development Environment, {\rm Held online, 24-25th May 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {338}, publisher = {Open Publishing Association}, pages = {82-88}, doi = {10.4204/EPTCS.338.10}, }