What we have learned at OpenShell applying formal methods to control AI agents

NVIDIA ISO-26262 SPARK Process

Nvidia Warp: Python framework for high-performance simulation and graphics code