ImandraX
Imandra Universe
ImandraX is Imandra's automated reasoning engine for formal verification, proof automation...
Price on request
Products
726 products, every listing moderated before publication.
YouTube TV
YouTube
Live television over the internet, with a cloud recorder and no set-top box. Available in...
Price on request
Imandra Markets
Financial Products
Imandra Markets applies automated reasoning and model-based software engineering to exchan...
Price on request
YouTube Kids
YouTube
A separate app with a narrower catalogue and parental controls over what can be watched an...
Price on request
Imandra Connectivity
Financial Products
Imandra Connectivity applies automated reasoning to financial APIs and FIX connectivity, i...
Price on request
YouTube Studio
YouTube
The side creators work in: uploads, analytics, comments, copyright and the earnings from a...
Price on request
TCL Smartphones
TCL Phones
The own-brand phone range, concentrated in the value and mid-range tiers.
Price on request
Azure Container Storage
Microsoft Azure
Azure Container Storage is Microsoft's Kubernetes-native volume orchestration service for...
Price on request
Gemini app
Gemini
The assistant, on the web, on Android and on iOS. Writing, reasoning, images, code and res...
Price on request
TCL Tablets
TCL Phones
Android tablets, including models using the company's paper-like display technology for re...
Price on request