DRACO Design of Resilient Architectures for Computing

Using Artificial Intelligence to Assist Formal Verification

member portrait Lana Perkins Undergraduate Alumni L3Harris
member portrait Michael Castiglia Masters Student Researcher
member portrait AMD Sponsor
March 26, 2024 July 31, 2026
research poster undergraduate amd ucf

AI and Formal Verification

Previous post
DRACO Scholars Present Work at Student Scholars' Symposium Next post
Artificial Intelligence Detecting Hardware Trojans