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) 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   President   e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
	Dr. Volodymyr Peschanenko   CEO   e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
	Viktor Yakovlev   Lead Researcher
	Andriy Donchenko      Lead Researcher
	Vladislav Dubina   Researcher
	Yaroslav Hryniuk   Researcher
	Maxim Poltoratskiy   Researcher
	Yuliia Tarasich   Researcher

Our new address: ap. 27, 83 Mykhailivska str., Kherson, Ukraine, 73000