presentation

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