Some Considerations on the Usability of Interactive Provers

  • Andrea Asperti
  • Claudio Sacerdoti Coen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)

Abstract

In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensibly improved since the advent of the “second generation” of systems, in the mid of the eighties. We try to analyze the reasons of such a slow progress, pointing out the main problems and suggesting some possible research directions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Andrea Asperti
    • 1
  • Claudio Sacerdoti Coen
    • 1
  1. 1.Department of Computer ScienceUniversity of Bologna 

Personalised recommendations