Search academic texts

Information × 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 Close