Cocotec

General Information
Company Name
Cocotec
Founded Year
2018
Location (Offices)
Guildford, United Kingdom +1
Founders / Decision Makers
Number of Employees
6
Industries
IT, Information Technology
Funding Stage
-
Social Media

Cocotec - Company Profile

Cocotec is a software development startup that aims to help their customers build reliable software efficiently. Founded in 2018 as a spinout from the University of Oxford, they have created advanced scalable formal verification tools named Popili. These tools are designed to automatically detect complex software errors that are typically difficult to eliminate using traditional testing methods. Popili offers a modern development environment, enabling developers to eliminate errors early in the process, start building software sooner, and ensure reliability in production. The software also facilitates rapid and reliable changes, analysis of software performance in production, and formalization of requirements. Cocotec serves various sectors and boasts a track record of delivering millions of lines of code for advanced systems.

Funding Rounds & Investors of Cocotec (0)

View All

There is no investment information

Latest News of Cocotec

View All

No recent news or press coverage available for Cocotec.

Similar Companies to Cocotec

View All
Zed Industries - Similar company to Cocotec
Zed Industries Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
George James Software - Similar company to Cocotec
George James Software Innovative and maintainable solutions to support your organization
Gorilla App - Similar company to Cocotec
Gorilla App Transforming Ideas into Digital Reality
Cycleops - Similar company to Cocotec
Cycleops Automate your application deployment workflow in minutes!