Press Release
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.
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.