Dr. Radu Grosu
The reliability of software is above all determined by the correct, complete and precise capturing of the intended system requirements and by the coincidence of the software behavior with the formulated requirements.
In order to guarantee the software reliability with technical means, it is necessary that before the software development, the behavior of the planned product is described as accurate as possible in a formal language. Starting from such a requirement definition, formal methods can be used to guarantee the correctness of the developed software with respect to requirements definition.
The goal of this project is to develop an axiomatic language, which is appropriate to capture the system requirements and to support their refinement during the system design process. Work is also to be done in advance, to the computer aided realization of the software development method used in the development process.