evolcSign inStart free
Menu

Cocotec

Formal verification and code-generation tools for developers building event-driven software

Guildford, United KingdomFounded 2016cocotec.ioWebsite technologies

+ Add to sales board

Highlights

  • New on EvolcAdded 2026-11-05

About Cocotec

Cocotec develops Popili, a software development platform built around Coco, a programming language for event-driven software. Popili offers automated formal verification, debugging visualisations, code generation and integrations with IDEs, build systems and CI pipelines.

The company works with businesses developing software for sectors including semiconductors, consumer electronics, aerospace and defence, high-tech manufacturing and medical technology. Popili is headquartered in Guildford, UK; Cocotec spun out of the University of Oxford in 2018 and launched Popili commercially in 2021.

Product: Popili software development tools for formal verification, debugging visualisation and code generation using the Coco programming language.

Jobs at Cocotec

No open positions listed right now.

Leadership

More developer tools companies

  • Cycloid

    Internal developer platform and portal letting platform teams set guardrails for self-service cloud deployments
    Paris, United KingdomDeveloper toolsFounded 20153 open jobs
    Remote-friendly

  • Cyprolics

    Performance and batch-processing software tools for organizations running IBM i servers
    Maidenhead, United KingdomDeveloper toolsFounded 2017
    New on Evolc

  • Diffblue

    AI agent that generates and verifies unit tests for Java and Python codebases, for enterprise software teams
    London, United KingdomDeveloper toolsFounded 2016
    New on Evolc

  • Ediblesites

    Pay-as-you-go fax service and outbound fax API for businesses and healthcare developers, plus free developer testing tools
    London, United KingdomDeveloper toolsFounded 2019
    New on Evolc

  • Eve-NG

    Network emulation software for network, security and DevOps professionals
    London, United KingdomDeveloper toolsFounded 2016
    New on Evolc

  • Facedownfx

    Flipbook and motion-vector software for VFX and technical artists
    Bedford, United KingdomDeveloper toolsFounded 2016
    New on Evolc

All developer tools companies →

Website technologies

Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.

Frontend frameworks

  • SvelteKitMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.