プレスリリース・ニュースリリース配信サービスのPR TIMES

自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始

2025年8月5日 11時30分 イミロン 　　 　　

イミロン、複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリース

2025年6月13日 13時53分 イミロン 　　 　　

論理学で人間中心の安心・安全な情報化社会の実現を目指すイミロン、シードラウンドで6千万円の資金調達を実施

2024年12月23日 12時06分 イミロン