形式驗證

速報

GraphFlow：以流程圖為可執行規格 強化代理式人工智慧工作流程可靠性

背景：多步任務中小錯誤會迅速累積。GraphFlow將流程圖當作可執行規格，編譯時限定可重用圖形類別並產生合約（前置、後置、組合義務），執行時以追加式事件日誌記錄結果並支援重放與稽核。早期試點於三個臨床場域執行8728次，完成率97.08%。