Search academic texts

Information × Registration Number 0218U001338, 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 31-01-2018 Organization Kherson State Teacer Training University popup.description2 The functional requirements to the system of verification of formal program models was formulated. An algorithm for constructing the canonical forms of logical formulas off the data types and it's insertion model was present. The functional requirements and the structure of Web-resource of research group for international scientific collaboration was described. The prototype of the Web-resource "Methods of computer algebra and insertion modeling in static analysis systems and software verification" was developed. Product Description popup.authors Блинов І.О. Вінник М.О. Кльонов Д.М. Кушнір Н.О. Мельник Д.Г. Песчаненко В.С. Полторацький М.Ю. Приймак К.С. Тарасіч Ю.Г. Черненко І.Є. Шорнік В.М. popup.nrat_date 2020-04-02 Close