Monoidics Ltd
www.monoidics.comMonoidics provides cutting-edge solutions for formal verification, memory safety analysis, termination analysis, and security of software. Monoidics solutions are on the forefront of research in automatic formal verification and analysis. We help our clients to comply with the challenges related to high integrity, security and performance of their software products.
Read more
Monoidics provides cutting-edge solutions for formal verification, memory safety analysis, termination analysis, and security of software. Monoidics solutions are on the forefront of research in automatic formal verification and analysis. We help our clients to comply with the challenges related to high integrity, security and performance of their software products.
Read more
Country
City (Headquarters)
London
Industry
Employees
11-50
Founded
2009
Social
Employees statistics
View all employeesPotential Decision Makers
West Japan Business Development Manager
Email ****** @****.comPhone (***) ****-****
Technologies
(1)
