Safeguarded AI Research programme developing AI-enabled formal verification tools for high-assurance software, control systems, and critical infrastructure.
Visit productCosigns Received
Be the first Cosign
Put your name behind Safeguarded AI.
Add it to your Products I use list and share why you use it.