News
Accelerating Enterprise PoCs for Mission-Critical AI System Verification Platforms through a Global Innovation Ecosystem
Imiron, a company developing foundational technology for safeguards and logical explanations in AI-powered autonomous vehicles and robots, is pleased to announce that it has been selected for the Summer 2026 Batch of the accelerator program hosted by Plug and Play Japan Inc., a global innovation platform headquartered in Shibuya, Tokyo, led by President Vincent Phillip.
Imiron has developed the SpecForge platform, which uses mathematical logic and formal methods to describe and verify functional specifications. By participating in this program, Imiron will leverage Plug and Play Japan’s global network of large enterprises to accelerate Proof of Concepts (PoCs) with enterprise companies in the fields of autonomous mobility, manufacturing, and robotics. This will help create a safer and more trustworthy development environment for physical AI systems.
Accelerating Continuous Quality Assurance in the Era of AI-Powered Hardware with Mathematical Logic
Imiron, a company developing foundational technologies for safeguards and logical explanations in AI-powered autonomous vehicles and robots, is pleased to announce that it has raised ¥140 million in a pre-Series A funding round led by DG Daiwa Ventures (DGDV), with participation from Mitsubishi UFJ Capital Co., Ltd. and THE GOGIN CAPITAL Co., Ltd.
We are pleased to announce that our product SpecForge has been selected for the “EdgeTech+ AWARD 2025 AI Design Support Excellence Award” at EdgeTech+ 2025, hosted by the Japan Embedded Systems Technology Association (JASA). The EdgeTech+ AWARD recognizes products and services that contribute to the development of the embedded systems industry and the enhancement of domestic industrial competitiveness. Winners are selected through a rigorous screening process from applications submitted by exhibitors.
Imiron is pleased to announce our participation in EdgeTech+ 2025, which will be held November 19-21, 2025, at Yokohama.
Embedded and mission-critical systems powered by AI—from autonomous vehicles and factory automation to medical devices—are becoming increasingly integral to our society. While these systems offer tremendous benefits, their growing complexity and “black-box” nature present unprecedented challenges for developers in ensuring quality and maintaining accountability.
- “How can we logically prove our system is safe, beyond just repetitive testing?”
- “How do we prevent ambiguous natural-language requirements from causing costly rework and bugs?”
To address these critical issues, Imiron, a spin-off from National Institute of Informatics (NII), advocates a new paradigm: Specification-Driven Development, built upon world-class research in mathematical logic.
Imiron is heading to EdgeTech+ West 2025 to unveil its innovative software, SpecForge. If you’re attending, be sure to stop by our booth for a firsthand look.
At the imiron booth, you can:
- See SpecForge in action.
- Chat with the Imiron team about your edge tech needs.
- Discover how SpecForge can benefit your system development.
EdgeTech+ West 2025 is the place to be for the latest in edge computing. Don’t miss the chance to connect with Imiron and experience SpecForge!
Introducing SpecForge, our new AI-powered formal specification and analysis tool, available from July 2025. SpecForge enhances the quality, productivity, reliability, and explainability of complex systems by enabling users to describe and analyze requirements as mathematically rigorous “formal specifications.”
Check out the product page: SpecForge
Imiron Co., Ltd., which provides safeguarding and logical explanation technologies for advanced information technologies, including automated driving and generative AI, that will significantly change the nature of society, has raised 60 million JPY in a seed round, with Abelia Capital LLC as the underwriter. With this funding, Imiron aims to further research and development and expand its organization to further enhance reliable system design services based on the power of logic.
Based on the results of the JST START Start-up Demonstration Support (Subject name: Realisation of full-scale dissemination of automated driving through logical explanation technology for software quality; Principal investigator: Ichiro Hasuo, National Institute of Informatics (NII)), Imiron Co., Ltd. was established. By providing formal logic based safeguarding and logical explanation technologies for advanced information technologies, including automated driving and generative AI, that will significantly change the nature of society, we will accelerate the social acceptance of such system and contribute to the realisation of a human-centred, safe and secure information society.