ABOUT US

From its inception in the early 90s LitSoft has built a wide range of software technologies and products used by Motorola, Intel, and other technology companies. The team leader and main developers have level 3 CMMI (Capability Maturity Model Integrated) certification for its software development process and levels 4 and 5 for its practices.

1990 - 1999

Algebraic Programming System (joint project with Ukrainian Academy of Sciences)

1999 - 2016

Software Verification tools and services (12 projects with Motorola, tools are used in more than 150 industrial projects in telecommunication, automotive systems, networking, and microprocessing).

Stock Exchange Automation systems (used by Ukrainian Stock Exchange).

Tools for Source Code Transformation (reverse engineering and source-to-source porting of legacy software used by a number of companies in the US).

Formal methods in model-based testing.

2016 - present

The algebraic approach in cyber-security (detection of malware and analysis of vulnerabilities). 

Research projects with verification and testing of cyber-physical systems.

Model-driven development of safety-critical systems. 

Hardware verification.

Blockchain platform projects.

Contacts:

 

  Dr. Oleksandr Letychevskyi

  Founder and CEO

  e-mailThis email address is being protected from spambots. You need JavaScript enabled to view it. 

  Dr. Volodymyr Peschanenko

  Chief Technology Officer

  e-mailThis email address is being protected from spambots. You need JavaScript enabled to view it. 

  Viktor Yakovlev

  Lead Researcher

  Andriy Donchenko
  
  Lead Researcher

  Tetiana Polhul

  Researcher

  Yaroslav Hryniuk

  Researcher

 

  Maxim Poltoratskiy

  Researcher

  Yuliia Tarasich

  Researcher

© 2019 LitSoft Enterprise R&D. All Rights Reserved. Designed By JoomLead