PRECISE Seminar: Formal Methods for Computer Architecture: Reducing the Barriers to Entry
/
Room 307, Levine Hall
3330 Walnut Street, Philadelphia, PA, United States
Formal methods can provide strong correctness guarantees for today's computing systems, but their usage is often restricted to formal methods experts. Formal verification is then bottlenecked on these experts, limiting its effectiveness. This problem is acute in computer architecture, since many architects do not have formal methods expertise. In this talk, I will present recent […]

