IBM Labs in Haifa ! $ # # " # $ % & ' 2 Software Verification IBM Labs in Haifa ( ! " ) " + " ( " " ,- " # " $ 3 " ) % # " %& % & " $ ) * " ,- $ ) # , * " * , &% & Software Verification IBM Labs in Haifa ( # - * " ! " " " * . $ % " %& % & " &% & 4 Software Verification IBM Labs in Haifa " . $ - * 0 " " ) 1 # # " * ) # ( # 5 ( " # + / * # # 1 $ # " " ) " Software Verification IBM Labs in Haifa ( " ) + $ $ % 23 + * " %3 & $ " * " * 1) " * " ! # ! " % 2% " " %& % & 23 %3 " "& % & 6 Software Verification IBM Labs in Haifa + 1 - # 1 # # # # # "4 $ " " 5 - 4 0 7 - ) + " # ( # 6 " ) * * $ # # " ( * " # $ " 47 # " 7 # " " * " " 1 # # ) ) " Software Verification IBM Labs in Haifa ( $ + + $ 1 # $ 23 " ) % * " 23 * " & 23 ! " 1 " * " 1) " * " ! % 23" # "%& % " & 23" "& % & 8 Software Verification 2 IBM Labs in Haifa ( + $ 1 # $ $ + %3 " ) % * " %3 * " & %3 ! " 1 " 1) " * " ! % %3 " % & %3 " 5 " # "%& % 9 " * 1 "& % & 5 Software Verification 1 IBM Labs in Haifa + " " " ! * " $ 6 $ " # % " " " %& % & " &% & 10 Software Verification IBM Labs in Haifa "# ! " # # ( " " 8 # $ 9 4 # 8 :& $ ;<:' $ 8 # 11 , " ; <:& $ ; <:& $ # $ # 1 1 # $ $ 4 " $ " 6 Software Verification ) ; IBM Labs in Haifa " # " 7 = $ $ # ( " $ ) " $ $ " - 12 ) " " " - " # $ ) # " . Software Verification IBM Labs in Haifa " $ ! ! ! + " # $$ # 7 7 88 ! " $ :; # = $ 5# / $ * 1 : 13 " >> $ " ;) " ! 7 ) $ Software Verification IBM Labs in Haifa 7 7 0 " " ! " ! * % 7 &%' ( : # $ ? *# 0 # ! $ # " *# &' " @; ! 7 " ! $ "# " 14 Software Verification IBM Labs in Haifa A # # ! " * '* A $ ( * # ! " " " " " 6 1 1 ( ) $ * +, ( )) -15 # Software Verification IBM Labs in Haifa ( = $ 7 7 ) ! $ $ ) $ 16 ' 22 ) 1 " ) ) $ 92 $ " # + " $ C 22 ) # "$ * ) # # B * Software Verification IBM Labs in Haifa ( 7 " " # 1 " $ # " # $ # 7 ! " " + " + " 1 " ! + 5 5 " 4 ! 17 . $ ? @ Software Verification