株式会社イミロン【プレスリリース】 by PR TIMES
https://prtimes.jp
info@prtimes.jpCopyright (c) PR TIMES Inc. All Rights Reserved.2025-08-06T06:01:17+09:00ja-JPPR TIMES｜株式会社イミロンのプレスリリース・ニュースリリース。自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始
https://prtimes.jp/main/html/rd/p/000000008.000153797.html
[株式会社イミロン]
株式会社T2（東京都千代田区、代表取締役CEO：熊部 雅友、以下「T2」）は株式会社イミロン（東京都千代田区、代表取締役：足立 正和、以下「イミロン」）と、自動運転レベル4認可取得に向けた形式的安全論証の共...株式会社イミロン企業・官公庁・団体2025-08-05T11:30:02+09:002025-08-05イミロン、複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリース
https://prtimes.jp/main/html/rd/p/000000003.000153797.html
[株式会社イミロン]
論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、AIを活用した形式仕様記述・分析ツール「SpecForge（スペックフォー...株式会社イミロン企業・官公庁・団体2025-06-13T13:53:38+09:002025-06-13論理学で人間中心の安心・安全な情報化社会の実現を目指すイミロン、シードラウンドで6千万円の資金調達を実施
https://prtimes.jp/main/html/rd/p/000000001.000153797.html
[株式会社イミロン]
[画像1: https://prtimes.jp/i/153797/1/resize/d153797-1-d407f230f986d08dc349-5.jpg ]
自動運転や生成AIをはじめとする、社会のあり方を大きく変える先進的情報技術に対し、論理学に基づくセーフガード技術や...株式会社イミロン企業・官公庁・団体2024-12-23T12:06:23+09:002024-12-23