# Initial steps towards assessing the usability of a verification tool

## TL;DR

This paper discusses the initial experience of using AutoProof for static verification of an object-oriented program, highlighting challenges and proposing improvements to enhance usability and methodology.

## Contribution

It provides an analysis of usability issues encountered with AutoProof and suggests modifications to improve the verification process for users.

## Key findings

- Identified key tool-related problems affecting verification
- Classified issues into tool and methodology categories
- Proposed changes to simplify verification workflow

## 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.