Slide 1 Software Verification With Liquid Types Ranjit Jhala, UC San Diego (with Pat Rondon, Ming Kawaguchi) int min_index(int [] a){ r = 0; n = a.length; for (i = 0; i
