@article {288, title = {Using automated reasoning systems in Natural Computing}, journal = {First Joint Meeting between the RSME and the AMS}, year = {2003}, month = {June 18-21}, pages = {4}, address = {Sevilla, Espa{\~n}a}, 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.}, url = {http://www.cs.us.es/~marper/investigacion/rsme-ams.pdf}, author = {Carmen Graciani-D{\'\i}az and Mario J. P{\'e}rez-Jim{\'e}nez} }