The purpose of our study is to conduct modelling of experiments aimed at studying physical, chemical or biological processes. We consider experiment modelling related to the study of the properties of a certain process and the determination of its final results in terms of the experimental environment. We also consider backward modelling when the final results (properties of a physical entity, which is a substance or process) are specified and when finding the initial parameters and the corresponding actions leading to these properties is necessary. For example, it can be the task of modelling the radiation therapy process, when the energy of the proton beam, the length of its trajectory and the necessary characteristics of the irradiated substance are specified. In this case, modelling the processes of the interacting protons with matter, the depth at which the Bragg peak will be reached and other factors is possible. Backward modelling, in turn, will enable the identification of the required values of the beam energy, the angle and/or duration of irradiation to reach the Bragg peak at a given depth. ...

Decentralized systems and blockchain solutions are the main points of our focus. We are the developers of program systems based on a blockchain platform and we provide the scientific expertise in verification, evaluation, cybersecurity analysis and testing of blockchain solu...

The algebraic approach in cybersecurity was demanded over the past two decades with the appearance of efficient solving and deductive tools. Different techniques like symbolic modeling and concolic computations use the algebraic approach that has created more possibilities f...

Safety and security software development is critical for the creation of a reliable system especially in avionics, medicine and nuclear industry. The modern process of software development includes different stages where formal methods can be applied. The model-driven develo...

We provide an algebraic approach in hardware verification for checking of properties of hardware systems, finding vulnerabilities and model-based testing. We developed a line of tools for these purposes. The technology consists of the number of stages operating with formal s...

  1.   Algebraic programming and insertion modeling In the early 1970s, Victor Glushkov, head of the Institute of Cybernetics of the Academy of Sciences of Ukraine, founded a computer science school centered on algebraic methods. Research topics ra...

SymTech (Symbolic Modeling) platform includes a number of systems and libraries for implementation of the algebraic formal methods and integration with other program systems.APS (Algebraic Programming system), IMS (Insertion Modeling System) – intend...

Another projects with application of symbolic technology: 1. “Formalization and Processing of Legal Requirements” (formalization of regulations, smart contracts for cryptocurrency market) The project has been started together with the Glushkov Inst...

From its inception in the early 90s LitSoft has built a wide range of software technologies and products used by Motorola and other technology companies. The team leader and main developers have level 3 CMMI (Capability Maturity Model Integrated) cer...