LATEST UPDATES
Company updates, partnerships and announcements from Imiron.
Accelerating enterprise PoCs for mission-critical AI system verification platforms through a global innovation ecosystem. Imiron will use Plug and Play Japan’s global network to accelerate proof-of-concept projects across autonomous mobility, manufacturing and robotics.
Original announcement ↗
Accelerating continuous quality assurance in the era of AI-powered hardware with mathematical logic. The funding round was led by DG Daiwa Ventures, with Mitsubishi UFJ Capital and THE GOGIN CAPITAL.
Original announcement ↗
SpecForge received the AI Design Support Excellence Award at EdgeTech+ 2025.
Original announcement ↗
Meet the Imiron team and see SpecForge in action at EdgeTech+ in Yokohama.
Event details ↗Proving autonomous driving safety: T2 and Imiron launch a joint project to validate safety using formal methods.
Original announcement ↗Imiron introduces SpecForge and discusses how formal methods can strengthen embedded systems development.
Event details ↗Introducing an AI-powered formal specification and analysis tool for describing and analyzing requirements rigorously.
Explore SpecForge →The seed funding supports research, development and growth of reliable system design services.
Original announcement ↗Founded to provide formal-logic based safeguarding and logical explanation technologies for advanced information systems.
Original announcement ↗