PE LitSoft

[/] Cybersecurity. Definition of Attacker Behavior Cybersecurity. Vulnerabilities Detection Cybersecurity. Machine Learning and Algebraic Approach in Malware Detection Cybersecurity. Algebraic Fuzzing Formalization and Processing of Legal Requirements Verification and Model-Based Testing of Decentralized Systems Behavior Algebra and Symbolic Modeling SymTech Platform Model-Driven Development Our History Contacts Industrial LitSoft combines extensive expertise in industrial grade software development with deep modern computer science know-how in symbolic computing and algebraic programming techniques and their applications. Algebraic Approach LitSoft applies its time-proven algebraic approach and symbolic modeling techniques to a wide range of software and hardware verification and testing with world-known companies. It cooperates with air-space and the nuclear energy industry. Glushkov Institute of Cybernetics LitSoft collaborates with the Glushkov Institute of Cybernetics on a number of world-class research programs in the field of algebraic formal methods and symbolic computing with applications in cybersecurity, hybrid cyber-physical systems, law, economics, and the Internet of Things. Scientific Expertise LitSoft team provides scientific expertise in development, verification, testing and cybersecurity analysis of distributive and decentralized (blockchain) systems BLOCKCHAIN 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... Read this Entry CYBERSECURITY 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... Read this Entry ALGEBRAIC APPROACH IN MODEL-DRIVEN DEVELOPMENT 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... Read this Entry HARDWARE VERIFICATION 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... Read this Entry NEWS Prev Next March.2022 Participation in 4rd Blockchain International conference conducted by British Blockchain Association. Bronze award for the best research abstract and presentation. June.2021 British Blockchain Association Summit. Speech of Prof. Letychevskyi March.2021 Participation in 3rd Blockchain International conference conducted by British Blockchain Association. Silver award for the best research abstract and presentation March. 2020. Participation in blockchain International conference in Edinburg ( presentation ). December.2019 Google. Meeting on the hardware verification ( presentation ). December.2019 Los-Angeles. Participation of T.Polhul and O.Letychevskyi in the most representative Big Data conference in the world ( presentation ). October.2019 France. Bordeaux. Participation in conference on Model-Testing ( UCAAT- 2019 , presentation ). July.2019 Ireland. Dublin. Lecture of Oleksandr Letychevskyi in University College Dublin ( presentation ). OUR ALGEBRAIC APPROACH 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... Read this Entry OUR ALGEBRAIC SERVER 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... Read this Entry OTHER PROJECTS 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... Read this Entry ABOUT US 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... Read this Entry © 2021 Private Enterprise LitSoft. All Rights Reserved. Designed By JoomLead Menu Directions Blockchain Cybersecurity Model-Driven Development Hardware Verification About Company Our Algebraic Server Our Algebraic Approach Other Projects About Us