Skip to main content
Article thumbnail
Location of Repository

Evaluating the Usability of Interactive Verification Systems

By Bernhard Beckert and Sarah Grebing

Abstract

Abstract. Usability is an important criterion for measuring and comparing the quality of software systems. It is particularly important for interactive verification systems, which heavily rely on user support to find proofs and that require various complex user interactions. In this paper, we present a questionnaire for evaluating interactive verification systems based on Green and Petre’s Cognitive Dimensions. In a first case study, we have used this questionnaire to evaluate our own tool, the KeY System. The lessons learned from this evaluation relate (1) to the usability of the KeY System and interactive verification systems in general and also (2) gave us insights on how to perform usability evaluations for interactive verification systems.

Year: 2014
OAI identifier: oai:CiteSeerX.psu:10.1.1.416.5302
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://ceur-ws.org/Vol-873/pap... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.