final smart report for verification case study
TRANSCRIPT
-
8/3/2019 Final SMART Report for Verification Case Study
1/17
-
8/3/2019 Final SMART Report for Verification Case Study
2/17
!""
!"""#$
%&'%($)*%+,$%-.++
/$/0$1)$2/)$
+ 3% 4% ! &+$"567*06!
$ *" ! % +$#% 80$6 80$ " "$2" & " 1)$ !%"6&+.%31)$ "2 #.!%4.1)$
" " " 4. 9: / $ +%"$
!"#
;;!0.9:%+$
!"#
-
8/3/2019 Final SMART Report for Verification Case Study
3/17
#
6 *$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6 *$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6
$6 ;;( $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6$ ('" $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6$0 ;;$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6$. #$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6$/ *"( $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ 6
0 2 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ /. 8(5$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ /
.$6 8(#"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ /
.$ 8( $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ -
.$0 8( $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ -/ 82 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ -
/$6 82 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ -- (28$$$$$$$$$$$$$$ -
-$6 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ --$ 8 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ -
3 98 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ -4
-
8/3/2019 Final SMART Report for Verification Case Study
4/17
60 #" $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$66. ;;?@ $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$ !
->A,2?1"9:B1)@$$$$$$$$$$$$$$$$$$$$$$$$63>1 $$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$64>2$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$60
-
8/3/2019 Final SMART Report for Verification Case Study
5/17
C!
6
) "*"
2#
!$
+*"
"?#@2=&9(6>$($
() ,,
"2=&9(6>
$($6$
( '''-.
"2=&9(6>$($$
(/ ,',"'
"2=&9(6>$($0$
(0 +
"2=&9(6>$($.$
(1 +*."
$
,*
=$?&@)9$)*%+,$$+"$
-
8/3/2019 Final SMART Report for Verification Case Study
6/17
C!
"*-#3$""+"3$9%34$C%""%+$+C4C!$#"%+1+$(##$)=(#C6$
2.")+'"
#"
(""""=$D*"++""+"
"&"$++""1"&%="+$""&""+"$2+&++1""
-
8/3/2019 Final SMART Report for Verification Case Study
7/17
C!
0
"$C"&$
9"+&1++$9"+
19%%++"1=$D*&%"+%"%"
E1"$2#+1&%19$&6$
#$"%&
"+>?@&""+"
""?@%"+&
%1
9$
!"#'
2+&9:"+"$%&""%+=43F6$
C;;%",+"++"%""$
-
++&$+$6+E"""/"""&!$
+2"
8"%"$="&%"%$
!"#
-
8/3/2019 Final SMART Report for Verification Case Study
8/17
C!
.
#+&+A92( $&++$
"+$#
%2#&=9:
&$
'.
%&'$"""%+$++""+$""=%
+"1"$%-.++/$/ 0$1)$2/)$$+""$+"
"$
+'3/
A+%
$
(1()()
)*
===(%(%(
>?===@=======C=>?===@=======
2>$G)$
)>+++$)$
9>5(%8*#"
$%&'()*'"&+,'!--$(.-'(+'''-'+'!/+-.+(++',!('$(%'-(.$''$(#$.011,,,#'#
2$-(3'.,$$4'.+"5+'#
-
8/3/2019 Final SMART Report for Verification Case Study
9/17
C!
/
)*?)@+6$)*.E"$(/%1""."""+
""$)0E"""$
(1()( 4
&+1$&$
(1()(/ 5&'
(1+"+$1>
H
"H
H
(H
""$
52
$+&%"+"$
/ '+
"2=&9(6>$(0$
0 %'6"
"2=&9(6>
$(.$
0() %'.
"2=&9(6>$(.$6$
-
8/3/2019 Final SMART Report for Verification Case Study
10/17
C!
-
0( %
"2=&9(6>$(.$$
0(/ %"2=&9(6>$(.$0$
1 '%
"2=&9(6>$(/$
1() '%
"2=&9(6>$(/$6$
7 "+'%
"2=&9(6>$(-$
7() +
"2=&9(6>$(-$6$
7( %
"2=&9(6>$(-$$
8 #+'%
"2=&9(6>$(3$
9 +:"
"2=&9(6>$(4$
-
8/3/2019 Final SMART Report for Verification Case Study
11/17
C!
3
9() "
"2=&9(6>$(4$6$
9( +"""$
)+"
"(
!"#
$%%
&
'(
)
&%%*+,
,)
)
-
$.% /
,)
0 1"& 1"&
)* ++,-.//
%:"
"2=
&9(6>$(!$
() "
"++$
-
8/3/2019 Final SMART Report for Verification Case Study
12/17
C!
4
%"
*
'
" #
80$6 )2%
&?$$1)@$+#.!0.1)BB"2$
"$!.31)BB$
80$
)/
E+$.F%+2#$.*$
&""$
:2=&9(6>
%$(!$6$
( %"
"++9"8%280$672%80$2$&"?1)@+$+$:".%31)!$!/-%001"9:$
/%"
"(
* )%
* )
)* /0,-112 0
;
-
8/3/2019 Final SMART Report for Verification Case Study
13/17
C!
!
"$8+&"%+/F6F$
) :",,'"
)() '":",,
'"
"2=&9(6>$(6$6$
)( ,,'""
:"""$:"=1"9: $:=1"9: $C%"
"$)1"9:1"9:B1)$C%+1""+%+$
;;/#%!&"$+$
0'"=1>'=&.#5>
!"#
;;+>
1,,'"=">
!"#
-
8/3/2019 Final SMART Report for Verification Case Study
14/17
C!
6
7?@''"=&.#5A&B>
34
)(/
"2=&9(6>$(6$0$
)) &.
1++$)
$
8&
5"(! )(!6##
)(!6#$
.3%4%
1% 1%
&()%.%%%45
1% 1%
&()(.%%%45
1% 1%
&()%%6%45
1% 1%
&7%8 17%%% 17%%%6
-
8/3/2019 Final SMART Report for Verification Case Study
15/17
C!
66
5"(! )(!6##
)(!6#$
636.
%45
6% %
/6%(!#6)
1346)63%6%
1346)63%6%
$6%%%)
6%%797%%46:
16%%%)6%%6
%
16%%%)6%%6
%
$64664%66%%(797%6%%
166%%6%
166%%6%
-
8/3/2019 Final SMART Report for Verification Case Study
16/17
C!
6
)
)() .
"+$"+""+$*E$
)( *'.'".5
C+""%"
+$+++"$""+;;"$*E$$
)/ .
"2=&9(6>$(60$
""9C(#$=$)1&;+"$
)0 :""':"#
-
8/3/2019 Final SMART Report for Verification Case Study
17/17
C!
60
@ +#H
@ =1="$
)7 #"''
)="!+=+$A"+$
% " " /4.9: ++$
9'"=1>
!"#
)8 '
$