DRACO Design of Resilient Architectures for Computing

Using Artificial Intelligence to Assist Formal Verification

member portrait Lana Perkins Undergraduate Alumni L3Harris
Former AMD Scholar
member portrait Michael Castiglia Masters Student Researcher AMD
Former AMD Scholar
member portrait AMD Sponsor
March 26, 2024 September 04, 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