Search academic texts

Information × Registration Number 0207U008334, 0105U001346 , R & D reports Title To develop a system for deductive and inductive theorem proving in mathematical information environment. popup.stage_title Head Kapitonova J.V.,Letichevsky A.A., Registration Date 10-12-2007 Organization V.M.Glushkov Institute of Cybernetics of NASU popup.description2 An annotation checker for SDL-specifications has been developed. It verifies an SDL-program by means of modelling the program. A new method for developing an effectivedeductive system which analyses true values of the formulas of many-valued logics has been developed. Tools for implementing critical pairs completion algorithms have been built. A technique for checking formula invariency has been developed. This technique is based on the iterative completion of the set of invariants. Product Description popup.authors popup.nrat_date 2020-04-02 Close