@Inproceedings{EPTCS338.12, author = {Moy, Yannick}, year = {2021}, title = {How the Analyzer can Help the User Help the Analyzer}, 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 = {97-104}, doi = {10.4204/EPTCS.338.12}, }