Slide 1 KIV TOOL (Karlsruhe Interactive Verifier ) Anna Rossato – [email protected] Slide 2 Index Introduction –What is KIV –Application areas –History:…