Registration Number
0217U006013,
0116U004732
, R & D reports
Title
Methods of computer algebra and insertion modeling in static analysis systems and software verification.
popup.stage_title
Head
Lvov Michael,
Registration Date
25-01-2017
Organization
Kherson State Teacer Training University
popup.description2
Investigations of existing specialized systems static program analysis was conducted. The analysis of algorithms of computer algebra and insertion modeling in the systems of static analysis and software verification was conducted. A new method to prove the invariance of the system of linear inequalities and termination of linear definite iterative loops for imperative programs was present . Was present an algorithm for constructing the canonical forms of logical formulas off data types. The functional requirements and the structure of Web-resource of research group for international scientific collaboration and of Web-resource of algorithms library of computer algebra of static program analysis was defined.
Product Description
popup.authors
Блинов І.О.
Вінник М.О.
Кльонов Д.М.
Кушнір Н.О.
Мельник Д.Г.
Нємченко Д.О.
Надєєва В.В.
Песчаненко В.С.
Полторацький М.Ю.
Приймак К.С.
Тарасіч Ю.Г.
Черненко І.Є.
Шорнік В.М.
popup.nrat_date
2020-04-02
