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