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.
There is no investment information
No recent news or press coverage available for Cocotec.