%PDF-1.5
%
1 0 obj
<<
/Lang (English)
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
/ViewerPreferences <<
/DisplayDocTitle true
>>
>>
endobj
7 0 obj
<<
/Author <46656C69706520522E204D6F6E746569726F2C204DE172696F20412E20502E204761726369612C204C7563617320432E20436F72646569726F2C20616E6420456464696520422E206465204C696D612046696C686F>
/CreationDate (D:20180818115727-04'00')
/Creator (LaTeX with acmart 2018/07/25 v1.55 Typesetting articles for the Association for Computing Machinery and hyperref 2016/05/05 v6.83n Hypertext links for LaTeX)
/Keywords (Software Engineering, Qt Framework, Model Checking, Formal Verification, Verification in Industrial Practice)
/ModDate (D:20180820114153+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.17 \(TeX Live 2016\) kpathsea version 6.2.2)
/Producer (pdfTeX-1.40.17)
/Subject (- General and reference -> Verification; - Software and its engineering -> Model checking; Software verification; Formal software verification; )
/Title (Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework \(Journal-First Abstract\))
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4440
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, and Eddie B. de Lima Filho
- General and reference -> Verification; - Software and its engineering -> Model checking; Software verification; Formal software verification;
Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)
2018-08-18T11:57:27-04:00
LaTeX with acmart 2018/07/25 v1.55 Typesetting articles for the Association for Computing Machinery and hyperref 2016/05/05 v6.83n Hypertext links for LaTeX
2018-08-20T11:41:53+01:00
2018-08-20T11:41:53+01:00
Software Engineering, Qt Framework, Model Checking, Formal Verification, Verification in Industrial Practice
pdfTeX-1.40.17
False
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2
uuid:95be3fd7-bf68-4868-8f10-28abe1759eef
uuid:e5f27c15-c0dd-4cfb-af98-e94d1564569a
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 3
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 2
/Kids [12 0 R 9 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [13 0 R 14 0 R 15 0 R]
/Limits [(Doc-Start) (section.1)]
>>
endobj
9 0 obj
<<
/Annots [16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R
26 0 R]
/Contents [27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources 35 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 36 0 R
/Next 37 0 R
/Parent 5 0 R
/Title
>>
endobj
11 0 obj
<<
/A 38 0 R
/Parent 5 0 R
/Prev 37 0 R
/Title
>>
endobj
12 0 obj
<<
/Contents 39 0 R
/Type /Page
/Resources <<
/Font <<
/F1 40 0 R
/F2 41 0 R
/F3 42 0 R
/F4 43 0 R
>>
/XObject <<
/Xf1 44 0 R
>>
>>
/Annots [45 0 R]
/Parent 6 0 R
/MediaBox [0 0 595 842]
>>
endobj
13 0 obj
<<
/Limits [(Doc-Start) (cite.monteiro2015)]
/Names [(Doc-Start) 46 0 R (cite.ECBS13) 47 0 R (cite.Garcia2016) 48 0 R (cite.doi:10.1002/stvr.1632) 49 0 R (cite.gmmcfn2018) 50 0 R
(cite.monteiro2015) 51 0 R]
>>
endobj
14 0 obj
<<
/Limits [(page.1) (section*.5)]
/Names [(page.1) 52 0 R (section*.1) 53 0 R (section*.2) 54 0 R (section*.3) 55 0 R (section*.4) 56 0 R
(section*.5) 57 0 R]
>>
endobj
15 0 obj
<<
/Limits [(section*.6) (section.1)]
/Names [(section*.6) 58 0 R (section.1) 59 0 R]
>>
endobj
16 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1002/stvr.1632)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [112.231 456.67 231.593 466.97]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A <<
/D (page.1)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [103.556 280.098 109.254 289.475]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3238147.3241981)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [128.247 280.098 259.547 289.475]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3238147.3241981)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [52.802 81.344 167.938 90.543]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.doi:10.1002/stvr.1632)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [459.569 560.129 465.731 567.68]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.gmmcfn2018)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [540.58 527.252 546.742 534.804]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.ECBS13)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [548.925 527.176 555.087 534.804]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.doi:10.1002/stvr.1632)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [446.765 417.663 452.927 425.215]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.Garcia2016)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [402.491 406.704 408.653 414.256]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.monteiro2015)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [491.161 406.628 497.323 414.256]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://esbmc.org/qtom)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [374.326 251.19 458.369 261.49]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/Length 1019
/Filter /FlateDecode
>>
stream
HVMs6WH5&J