SEApr 17, 2017
Initial steps towards assessing the usability of a verification tool
arXiv:1704.05008v27 citations
Originality Synthesis-oriented
AI Analysis
This work addresses usability challenges for developers using verification tools, but it is incremental as it focuses on a small-scale case study.
The authors used AutoProof to statically verify a small object-oriented program, identifying and classifying problems into tool-related and methodology-related issues, and proposed changes to simplify both.
In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this activity and we classified them according to their nature. In particular, we distinguish between tool-related and methodology-related issues, and propose necessary changes to simplify both tool and method.