PhD Seminar • Formal Methods • Counterexample Guided Abstraction and Refinement in Dash Models
Please note: This PhD seminar will take place in DC 2564.
Aditya Shankar Narayanan, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day