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 […]

