%PDF-1.5
%
1 0 obj
<< /S /GoTo /D (section.1) >>
endobj
4 0 obj
(Introduction)
endobj
5 0 obj
<< /S /GoTo /D (section.2) >>
endobj
8 0 obj
(Preliminaries)
endobj
9 0 obj
<< /S /GoTo /D (section.3) >>
endobj
12 0 obj
(Value Abstracted Semantics)
endobj
13 0 obj
<< /S /GoTo /D (section.4) >>
endobj
16 0 obj
(Coverability)
endobj
17 0 obj
<< /S /GoTo /D (section.5) >>
endobj
20 0 obj
(Boundedness)
endobj
21 0 obj
<< /S /GoTo /D (section.6) >>
endobj
24 0 obj
(Conclusions and Perspectives)
endobj
25 0 obj
<< /S /GoTo /D [26 0 R /Fit] >>
endobj
54 0 obj <<
/Length 3827
/Filter /FlateDecode
>>
stream
xZKsFW`aHVITE"G"V `Ӎx㖪ĞWOIyt|/\hQU:N{9I0L۵s3պ Nnc||~:Tǝ5bE\ɶt'@)/"MWRgA$]]a"'W)I=NA~pS,'+2/*/
/R)\^hrˡ{B/JޓWkzv\[VENɼ0#Zԉe:LԄon~
Na_=xT8q g=;kLY;dF KACC6@ӐP$N8slSmzxO3OۮWVr$M%e%QpAnMBᡵ*D3>Rn(niF{Vwx \}mbvկa{>izOB}B;t6ᙼ[k
Vtj<8zQg
OLP>8vT,[W00TF~Fhǝ0f7y=M[]SP7ˢA}GQ,;>8|2b3Mx{fQ6-qxԮZ` 长/|4fvYW㞛4'h%)Mr{i-u _;ٰޅر
Јt|alQVi/mhKTY|ݘvW2^muix~.L=i$+]#=Wiky82SlϘHanM2dd:LݪЏߋ$sT w ;Wh{e/:Wyx6NFhZy~aF
4`a+6B6nt-eMެymJm}X1Į$u֍RA/*:da<2"xvyƁkcUr,Gxu vXh*,>Wd^ނ:elaV̊CbSU6Nchco#:YchYO2`_B Ա2>ٰ$PN^βPIP:NfלLSz@N5߬,
:-
|fw/k4sFfT*Ȯ-!a4Y}^! 춦)Vyn)*eKwo{B$rL/=MebCQ3y1O\xos-&-yyc/VL0&<[~~#sϬ1x0`/_JA7xtX$VFV̢, :
X"ΜЮ= &[u
7a*cbǢR$N%ݶ6U U,)ʈ:O\\ٍ}"Пe ub0T5jPkϏFRijt~3֨QF\dಂݪ.:UeF"^?b[j?H"=A\ (*sUt2F߃V~,\48KʿhAY+*Bd!/d\B,RCPO?[m>Wu5$Ek_NLdPA7`!{;m0d)2y$Y'+1g-<wL !̔?G5\5
_ iMwrKx0Cb=Qє˷"@ǟFxNq!q7(yͪ?R%(1R2KJ*Kt
LjE.U{\/Cɑol.ژ$?^5
ygPloRDS}9̷rs>`䐗-y`L#<PKcAdČsWH[P6]
I!䗲u4(̫
Z.0]ߩȿSg!\&O~}F7`ܧ)64'} ['2=[
g3aaΟ#ڏSAP*dZH-\".f̣i8%pQX:or*Dg3ma&nO̖W)ukUt(|YWhrx8/j
.h
rڳ+\v[v:[v-bAʙx;afzٙVn) I~_} naln@CYC`^TWY^=rOx/-w0klXhLEqc=61/uD(Ѩ`d.)7w\
1Vr;KbmCbۦ?mrHIA
Ǽ3Ͷr{88T_YC%mPSt_ꊚ:Igc2+
·
f3)&[uY{3akxg R' QVZI?YM㋚&gR2h
ha)v%T:t6W_/.IEvH.
o"qRۜuLHǦ]`9p_t6
;ȹ̐>0@
i)H9?%'UJ#/BBY`w]"KB'2$]UB!Ch4Nmbe,Q'.=|mMp-3tm=ah #$oM O4Q-s_ЭZv9<+Z=OI2z4+yzu=Rn|}ecƺ0$Ƴef?{z=㽯Mn[4q~O@E[\k}uKms;}uMȳ˷<$;Am^Y풋=eYOxb^}O{g%,%\O/E.>H.hVT=}dWKtp+֝خ!Y%1ޘH(Lj(4/_Yayuf/
LIm~WK2(ګ/j*/n7{ɣ۬cvC%AmkKYʏ(= f]?W~JdmCwqK:ltCtCEMo{6E4"|u_Xayf_b
R*ꆿHJv;h{iɬpRǙw虒ZSsfh?nG?:_oh7U^)я?2yYǷMt'pCєoLq_y1XYY2|ȷ
9-/֩hSYGpOrTCqB^ٗް˺m#M̒o{$aC?G6[,os,q
endstream
endobj
26 0 obj <<
/Type /Page
/Contents 54 0 R
/Resources 53 0 R
/MediaBox [0 0 595.276 841.89]
/Parent 67 0 R
/Annots [ 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 48 0 R 49 0 R 51 0 R 52 0 R ]
>> endobj
47 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 120 42]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 68 0 R
/Length 29
/Filter /FlateDecode
>>
stream
x+2T0 B˥k JG
endstream
endobj
46 0 obj <<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (C:/Users/Wagner/Downloads/proceedings-source/29/cc-by-nc-nd.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 69 0 R
/BBox [0 0 120 42]
/Resources <<
/ColorSpace <<
/Cs6 70 0 R
>>/ProcSet [ /PDF ]
/ExtGState <<
/GS1 71 0 R
>>>>
/Length 3955
/Filter /FlateDecode
>>
stream
xZI$+Cγ:zBA-@~/3s=#=qV=dǤ"C;cdng
D I"5neL7EP=&'Z?iJG={h3$!ƙpn_/,}ci,6F}N-ջȌ&fR@|rYUzQ0G:kX)CxD;/R/̤Eҽ.n߸aV>@v-kwr~Drw{(61&a`|~,gR
8