Using automated reasoning systems in Natural Computing

TitleUsing automated reasoning systems in Natural Computing
Publication TypeConference Contributions
Year of Publication2003
AuthorsGraciani-Díaz, C., & Pérez-Jiménez M. J.
Conference NameFirst Joint Meeting between the RSME and the AMS
Volume TitleAbstracts of the First Joint Meeting between the RSME and the AMS
Place PublishedSevilla, España
Pages4
Date PublishedJune 18-21
Abstract

The simple intuitive verification or even the use of formal notation does not ensure us that a designed program or a set of specifications are correct. The availability of general purpose theorem proving tools as PVS opens the way for elaboration and development of techniques that will allow us to attack the processes of verification in the scope of Natural Computing. Also, those formalizations are done in a generic framework in which the concrete implementation of each operation is not important, but only their properties. This is a suitable way of working before implementing them in a real mode that brings us the possibility of simulating real experiments or developing new ones.

URLhttp://www.cs.us.es/~marper/investigacion/rsme-ams.pdf