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
