In this talk we will illustrate a project whose aim is to exploit formal 
models and languages used in software formal verification, for the design of 
innovative systems to be applied in Biology. We will briefly describe the 
Simpathica (Simulation of Pathways and Integrated Concurrent Analysis) tool, 
integrating mathematical and logical approaches to the study of biochemical 
networks.
We will conclude addressing algorithmic and expressivity issues and problems 
related with the use of standard/hybrid automata, model checking and logical 
languages in the context of Systems Biology