Slide 1 Slide 2 A Framework for Translating Models and Specifications Shmuel Katz Computer Science Department The Technion Slide 3 Some Questions What is done today? Why…