The ultimate goal of this project is to strongly enhance the state of the art technology for ensuring reliability of the software by logic based verification methods. The general framework in which to achieve this goal is that of Computational Logic. This goal is in accordance with the new focus of IT RTD under the Fourth Framework Programme, i.e. the emerging information infrastructure. Its policy is to contribute to the healthy growth of the information infrastructure so as to improve the competitiveness of all industry in Europe and to help enhance the quality of life. To this aim, the tasks of extending and integrating already existing techniques, developing automated tools implementing the designed techniques, and developing real-life practical applications are fundamental ones.