Imiron
Tokyo, JP · 6 known investors
Imiron develops formal verification and mathematical modelling technology for learning-enabled, mission-critical systems, applying formal methods to system design and verification. Its work targets domains such as autonomous driving and safety-critical automotive software.
Also known as Imiron Co., Ltd.
Founders & leadership
Investors · 6
Also in the syndicate · 3
Company profile
researched Aug 2026Imiron is a Tokyo-based technology company that applies mathematical logic and formal verification to the specification and validation of complex systems that include AI components. It was founded by researchers from ERATO MMSD, a research group in theoretical computer science, and describes itself as a spin-off from Japan's National Institute of Informatics (NII). Its stated focus is ensuring safety, reliability and accountability in systems whose AI elements behave unpredictably or opaquely, such as autonomous vehicles, robots, factory automation and medical devices.
The company's principal product is SpecForge, an AI-assisted formal specification and analysis tool released in June 2025 and available from July 2025. SpecForge lets users express and analyse requirements as mathematically rigorous formal specifications, with the aim of reducing ambiguity in natural-language requirements and providing logical evidence of system safety beyond repetitive testing. Imiron promotes an approach it calls Specification-Driven Development, built on research in temporal logic, runtime verification and formal methods; its technical blog covers topics such as monitoring data-dependent temporal patterns and functional programming in Haskell.
Founding story
Imiron was founded by leading researchers from ERATO MMSD, a research group in theoretical computer science, and is described as a spin-off from the National Institute of Informatics (NII).
Business model
Imiron develops and commercialises software tooling, principally the SpecForge formal specification and analysis platform, for organisations building mission-critical and embedded systems.
Traction
SpecForge was released in June 2025 and won the AI Design Support Excellence Award at the EdgeTech+ AWARD 2025, organised by the Japan Embedded Systems Technology Association. In August 2025 Imiron and autonomous trucking company T2 launched a joint project to validate autonomous driving safety using formal methods, and in June 2026 the company was selected for Plug and Play Japan's Summer 2026 accelerator batch to pursue enterprise PoCs.
Latest developments
In June 2026 Imiron announced a ¥140 million pre-Series A round led by DG Daiwa Ventures with Mitsubishi UFJ Capital and THE GOGIN CAPITAL participating, and selection for Plug and Play Japan's Summer 2026 batch. It is scheduled to exhibit at the MUFG Startup Summit 2026 in Nagoya on 1 June and is a Silver Sponsor of Formal Methods 2026 in Tokyo (18-22 May).
▸Full profile — technology, go-to-market, geography
Technology
The company builds on research in temporal logic, formal verification and runtime verification. SpecForge uses mathematical logic and formal methods to describe and verify functional specifications, and applies AI assistance to the creation and analysis of formal specifications, targeting quality, productivity, reliability and explainability for systems containing opaque AI components.
Go-to-market
Imiron markets SpecForge through industry trade events and awards in Japan (EdgeTech+ West 2025, EdgeTech+ 2025, the MUFG Startup Summit 2026 in Nagoya), academic sponsorship (Silver Sponsor of Formal Methods 2026 in Tokyo), joint validation projects with industrial partners such as T2, and enterprise proof-of-concept work via the Plug and Play Japan accelerator network.
Developers and enterprises building AI-powered embedded and mission-critical systems, including autonomous mobility, automotive, manufacturing, robotics, factory automation and medical devices.
Geography
Headquartered in Tokyo, Japan, with activity focused on the Japanese market, including events in Yokohama and Nagoya.
Compiled by commissioned research from 1 cited public sources — announcements, filings, and press listed under research sources below.
Key figures
latest reportedCompany-reported or press-reported figures, each dated to when it was claimed — not independently audited.
Timeline · 6
launches, deals, and filingsImiron was selected for the Summer 2026 batch of the accelerator program run by Plug and Play Japan Inc., a global innovation platform headquartered in Shibuya, Tokyo, to accelerate enterprise proof-of-concepts in autonomous mobility, manufacturing and robotics.
Imiron announced a ¥140 million pre-Series A round led by DG Daiwa Ventures (DGDV), with participation from Mitsubishi UFJ Capital Co., Ltd. and THE GOGIN CAPITAL Co., Ltd., to accelerate continuous quality assurance for AI-powered hardware.
SpecForge was selected for the AI Design Support Excellence Award at EdgeTech+ 2025, hosted by the Japan Embedded Systems Technology Association (JASA).
Imiron and T2 launched a joint project to validate autonomous driving safety using formal methods, strengthening safety evaluation and logical explainability through a mathematical approach.
Imiron announced SpecForge, an AI-powered formal specification and analysis tool available from July 2025, enabling users to describe and analyze requirements as mathematically rigorous formal specifications.
Imiron Co., Ltd. raised 60 million JPY in a seed round with Abelia Capital LLC involved.
Dated company events from announcements, filings, and press; legal rows summarize public dockets and regulator releases.
▸Research sources · 1
primary sources listed
- Imironimiron.io · web
1 public sources were cited for this profile; the first-party ones are listed here.
Frequently asked questions
- What does Imiron do?
- Tokyo-based NII spin-off applying formal methods and temporal logic to specify and verify AI-powered mission-critical systems.
- Who founded Imiron?
- Imiron was founded by Ichiro Hasuo, Masakazu Adachi, James Haydon.
- Who are Imiron's investors?
- Imiron's investors include DG Daiwa Ventures, Mitsubishi UFJ Capital, The Gogin Capital.
- Where is Imiron headquartered?
- Imiron is headquartered in Tokyo, JP.