Towards practical predicate analysis:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Passau
2017
|
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext Inhaltsverzeichnis |
| Beschreibung: | xii, 212 Seiten Illustrationen, Diagramme |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044666875 | ||
| 003 | DE-604 | ||
| 005 | 20210514 | ||
| 007 | t | ||
| 008 | 171205s2017 a||| m||| 00||| eng d | ||
| 035 | |a (OCoLC)1159271898 | ||
| 035 | |a (DE-599)BVBBV044666875 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-860 |a DE-2174 | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Wendler, Philipp |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Towards practical predicate analysis |c Philipp Wendler |
| 264 | 1 | |a Passau |c 2017 | |
| 300 | |a xii, 212 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |b Dissertation |c Universität Passau |d 2017 | ||
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:739-opus4-5098 |
| 856 | 4 | 1 | |u https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/509 |z kostenfrei |3 Volltext |
| 856 | 4 | 1 | |u https://nbn-resolving.org/urn:nbn:de:bvb:739-opus4-5098 |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030064287&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030064287 | ||
Datensatz im Suchindex
| _version_ | 1804178109593812992 |
|---|---|
| adam_text | Contents
1. Introduction........................................................ 1
1. A Flexible Domain Based on Predicates 9
2. Motivation......................................................... 13
3. Background......................................................... 19
4. Predicate CPA...................................................... 31
5. Applications....................................................... 57
6. Implementation in CPAchecker....................................... 73
7. Related Work ...................................................... 81
II. Reliable Benchmarking 89
8. Motivation......................................................... 93
9. Requirements for Reliable Benchmarking............................. 99
10. Limitations of Existing Methods...................................105
11. Impact of Hardware Characteristics on Parallel Tool Executions..111
12.State-of-the-Art Benchmarking with Cgroups and Containers..........123
13. BenchExec: A Framework for Reliable Benchmarking..................131
14. Related Work .....................................................143
vii
Contents
III. Experimental Evaluation 149
15. Experiment Setup..........................................153
16. Comparison of SMT Solvers and Theories ...................159
17. Comparison with State of the Art..........................175
18. Summary and Future Work...................................181
Bibliography..................................................185
Appendix 205
A. Machine Architectures with Hyperthreading and Nonuniform Memory Ac-
cess .....................................................207
B. Listings
211
|
| any_adam_object | 1 |
| author | Wendler, Philipp |
| author_facet | Wendler, Philipp |
| author_role | aut |
| author_sort | Wendler, Philipp |
| author_variant | p w pw |
| building | Verbundindex |
| bvnumber | BV044666875 |
| classification_rvk | ST 233 |
| collection | ebook |
| ctrlnum | (OCoLC)1159271898 (DE-599)BVBBV044666875 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01731nam a2200373 c 4500</leader><controlfield tag="001">BV044666875</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210514 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">171205s2017 a||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1159271898</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044666875</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-2174</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wendler, Philipp</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Towards practical predicate analysis</subfield><subfield code="c">Philipp Wendler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 212 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Universität Passau</subfield><subfield code="d">2017</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:739-opus4-5098</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/509</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:739-opus4-5098</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030064287&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030064287</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV044666875 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:58:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030064287 |
| oclc_num | 1159271898 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174 |
| physical | xii, 212 Seiten Illustrationen, Diagramme |
| psigel | ebook |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| record_format | marc |
| spelling | Wendler, Philipp Verfasser aut Towards practical predicate analysis Philipp Wendler Passau 2017 xii, 212 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Dissertation Universität Passau 2017 Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Programmverifikation (DE-588)4135576-3 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:739-opus4-5098 https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/509 kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:739-opus4-5098 Resolving-System kostenfrei Volltext Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030064287&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wendler, Philipp Towards practical predicate analysis Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4113937-9 |
| title | Towards practical predicate analysis |
| title_auth | Towards practical predicate analysis |
| title_exact_search | Towards practical predicate analysis |
| title_full | Towards practical predicate analysis Philipp Wendler |
| title_fullStr | Towards practical predicate analysis Philipp Wendler |
| title_full_unstemmed | Towards practical predicate analysis Philipp Wendler |
| title_short | Towards practical predicate analysis |
| title_sort | towards practical predicate analysis |
| topic | Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Programmverifikation Hochschulschrift |
| url | https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/509 https://nbn-resolving.org/urn:nbn:de:bvb:739-opus4-5098 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030064287&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wendlerphilipp towardspracticalpredicateanalysis |