Search academic texts

Information × Registration Number 0205U004483, 0102U000496 , R & D reports Title To develop deductive methods for verification of theorems in mathematics and software popup.stage_title Head 1.Kapitonova Julia Vladimirovna, 2. Letichevsky Aleksander Adolphovich, Registration Date 04-04-2005 Organization V.M.Glushkov Institute of Cybernetics of NASU popup.description2 The problems connected with the verification of require ments to software and automated deduction are consider ed. An approach is presented to verification of requirements. The semantics of a formal requirement language is described. The system for requirement verification is implemented by means of insertion programming tools. The results of this investigation have been used for the development of telephone systems Product Description popup.authors popup.nrat_date 2020-04-02 Close