Paper Info
Title
Initial Steps Towards Assessing the Usability of a Verification Tool
Abstract
In this paper we report the experience of using AutoProof for static verification of a small object oriented program. We identify the problems that emerge by this activity and classify them according to their nature. In particular, we distinguish between tool-related and methodology-related issues, and propose necessary changes to simplify both the tool and the method.
Year
DOI
Venue
2016
10.1007/978-3-319-70578-1_4
PROCEEDINGS OF 5TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING FOR DEFENCE APPLICATIONS
Keywords
DocType
Volume
Static verification,AutoProof,Verification issues
Conference
717
ISSN
Citations 
PageRank 
2194-5357
0
0.34
References 
Authors
6
4
Name
Order
Citations
PageRank
Mansur Khazeev100.34
Víctor Rivera25212.94
Manuel Mazzara349364.05
Leonard Johard4114.91