Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
This paper has been published in: T. Denvir, editor, Formal Methods Europe (FME'94). Springer, 1994.
 

Summary: This paper has been published in: T. Denvir, editor, Formal Methods Europe
(FME'94). Springer, 1994.
An experimental support system for formal
mathematical reasoning
Matthias Anlau 1, Stefan Jahnichen2, Martin Simons1
1
Technische Universitat Berlin?
2
GMD-FIRST??
Abstract. Requirements for tools which support the creation and the
intelligible presentation of formal deductions are investigated. They are
contrasted with requirements which emphasize the interactive construc-
tion of correct proofs. As an example, the design and the implementation
of a set of support tools for Deva is described. Deva is a typed functional
language and has been used in a number of case-studies on formal pro-
gram development. The use of this toolset is illustrated by impressions
of a working session.
Keywords: formal reasoning logical frameworks proofs tool support.
1 Introduction
Traditionally, research on computer assisted formal reasoning focusses on how

  

Source: Anlauff, Matthias - Kestrel Institute

 

Collections: Computer Technologies and Information Sciences