Publications
Preprint · arXiv · January 1, 2017
Initial steps towards assessing the usability of a verification tool
Mansur Khazeev, Víctor Rivera, Manuel Mazzara, Leonard Johard
Abstract
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.
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniquesstatic verificationusability evaluationobject-oriented software
More by Manuel Mazzara
- Anchored Rank-Adversarial Fine-Tuning Pretrained Visual Place Recognition ModelsarXiv · 2026
- See the Future, Classify the Present: Stochastic Latent World Modeling for Hyperspectral ImagesarXiv · 2026
- Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation DataLecture notes in computer science · 2026 · Citations: 1
- What Counts as a Mistake? Annotating Recitation Events in Quran Memorization TranscriptsarXiv · 2026