PRECISE Seminar: Formal Methods for Computer Architecture: Reducing the Barriers to Entry
Room 307, Levine Hall 3330 Walnut Street, Philadelphia, PA, United StatesFormal 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 […]