Slide 1Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research [email protected] May 2010 Slide 2 Software is hard to get right* Which tools…
