ISPRAS (Russian Academy of Sciences)
From fundamental research to top industrial technologies in system software
http://ispras.ru
Details
Employees
131
Founded
1994
Location
Moscow
, Russia
Phone
+74959125659
Industry
software development
Keywords
software engineering
automated test development
compilers
operating systems
cross-development tools for embedded systems
linux
open standards for software interfaces
open source
automated program analysis
static code checkers
dynamic program verification
formal methods
model driven verification
Browse SuperAGI Directories
AI Native CRM for Unified Sales, Support & Marketing
Accelerate growth and streamline your entire stack with AI CRM Platform