Testing Proofs by Examples

  • Susumu Hayashi
  • Ryosuke Sumitomo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1538)


We will present the project of proof animation, which started last April. The motivations, aims, and problems of the proof animation will be presented. We will also make a demo of ProofWorks, a small prototype tool for proof animation


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cohn, A.: The Notion of Proof in Hardware Verification, Journal of Automated Reasoning, Vol. 5, 127–139, 1989.zbMATHCrossRefGoogle Scholar
  2. 2.
    Hayashi, S. and Nakano, H.: PX: A Computational Logic, The MIT Press, 1988Google Scholar
  3. 3.
    Kripke, S.: Wittgenstein on Rules and Private Language, Harvard University Press, Cambridge, Massachusetts, 1982Google Scholar
  4. 4.
    Sumitomo, R.: Proof Works: An Environment for Animation of Proofs, Master thesis, Graduate School of Science and Technology, Kobe University, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Susumu Hayashi
    • 1
  • Ryosuke Sumitomo
    • 2
  1. 1.Department of Computer and Systems Engineering, Faculty of EngineeringKobe UniversityKobeJapan
  2. 2.Graduate School of Science and TechnologyKobe UniversityKobeJapan

Personalised recommendations