Evaluating the Usability of Interactive Verification Systems

  title={Evaluating the Usability of Interactive Verification Systems},
  author={Bernhard Beckert and Sarah Grebing},
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… CONTINUE READING

Similar Papers

Loading similar papers…