DRACO Design of Resilient Architectures for Computing

Using Artificial Intelligence to Assist Formal Verification

member portrait Lana Perkins Undergraduate Alumni
member portrait Michael Castiglia Undergraduate Student Researcher
member portrait AMD Sponsor
March 26, 2024 July 11, 2025
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