Demonstrating Trustworthy AI Development in High-Integrity Environments
In this webinar, Tony Aiello, Product Manager for SPARK and AI, will showcase our new demo, GNAT Foundry: Intersection.
To date, the typical answer to the question “how do we ensure trust in this AI-authored code” has been “human review”. But that approach doesn’t scale and doesn’t play to human strengths.
Our demo, GNAT Foundry, reveals a stronger alternative: leverage deterministic trust furnished by non-AI tools everywhere possible, so that humans can focus their attention where it is required.
Join the webinar and find out:
- How AI may reshape high-integrity software costs
- How AdaCore tools provide deterministic trust in artifacts produced by AI
- The human’s role in AI development
- Have a chance to discuss future directions for AdaCore in AI development
Blog_
GNAT Foundry Intersection: Demonstrating Trustworthy AI Development
Register
Having trouble viewing or submitting this form? Please reach out to us directly at info@adacore.com and we'll be happy to assist you.