Slide 1Exploiting the Dual View in Verification Koen Lindström Claessen Chalmers University Gothenburg, Sweden Slide 2 informal formal Verification w/ Theorem Proving System…