ソフトウェアを自動で細分化して安全性を向上。DARPAがツールの提案を募集 http://okane.robots.jp/2023/04/11/%e3%82%bd%e3%83%95%e3%83%88%e3%82%a6%e3%82%a7%e3%82%a2%e3%82%92%e8%87%aa%e5%8b%95%e3%81%a7%e7%b4%b0%e5%88%86%e5%8c%96%e3%81%97%e3%81%a6%e5%ae%89%e5%85%a8%e6%80%a7%e3%82%92%e5%90%91%e4%b8%8a%e3%80%82da/