Company profile
Cocotec Formal verification
Cocotec Limited is a UK company with status active founded in 2016 based in South East England.
Financial period: 1 Apr 2024 to 31 Mar 2025
Reference milestones and recent Companies House filing stream events.
Next confirmation statement due date
Next accounts due date
Last confirmation statement made up date
Last accounts made up date
CS01 | Transaction MzQ1NjI4NjYzN2FkaXF6a2N4
Published 25 Feb 2025 06:45
PSC04 | Transaction MzQ0Mjc5NTk2NGFkaXF6a2N4
Published 12 Nov 2024 11:22
PSC04 | Transaction MzQ0Mjc5NTg2NWFkaXF6a2N4
Published 12 Nov 2024 11:21
CH01 | Transaction MzQ0Mjc5NTcwNWFkaXF6a2N4
Published 12 Nov 2024 11:20
AD01 | Transaction MzQ0Mjc5NTcxNGFkaXF6a2N4
Published 12 Nov 2024 11:20
CH01 | Transaction MzQ0Mjc5NTcwMGFkaXF6a2N4
Published 12 Nov 2024 11:20
Company registered at Companies House
Cocotec develops a model checker for the development of complex aerospace industrial software.
Company set up to exploit the ideas that led to this grant, namely automatic generation and verification of embedded software. Has now become official Oxford Spin-out and will take up the work of this contract when it is finished. Now the research project is complete (as of summer 2019) the two principal staff on that project are working full-time in the spin-out, and software (for the automated verification and generation of embedded software) is being used by customers. The company has some funding from the Aerospace Technology Institute (Innovate UK).
Software is in significant use by ASML: see https://www.linkedin.com/pulse/computers-improving-scanner-metrology-software-code-lewis There are other smaller customers,
Software is in significant use by ASML and in the process of assessment by other potential customers.
1 Jul 2019 to 30 Jun 2023
HICLASS is a project to enable the delivery of the most complex software-intensive, safe and cyber-secure systems in the world. It is a strategic initiative to drive new technologies and best-practice throughout the UK aerospace supply chain, enabling the UK to affordably develop systems for the growing aircraft and avionics market expected over the next ...
