Compact constraints for verification of well quasi-ordered programs:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Uppsala
Uppsala Univ. Library
2003
|
| Series: | Acta Universitatis Upsaliensis
Uppsala dissertations from the Faculty of Science and Technology ; 51 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Uppsala, Univ., Diss., 2003 |
| Physical Description: | VII, 119 S. |
| ISBN: | 9155457886 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017773860 | ||
| 003 | DE-604 | ||
| 005 | 20040319 | ||
| 007 | t | ||
| 008 | 040114s2003 m||| 00||| eng d | ||
| 020 | |a 9155457886 |9 91-554-5788-6 | ||
| 035 | |a (OCoLC)633225327 | ||
| 035 | |a (DE-599)BVBBV017773860 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Nylén, Aletta |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Compact constraints for verification of well quasi-ordered programs |c Aletta Nylén |
| 264 | 1 | |a Uppsala |b Uppsala Univ. Library |c 2003 | |
| 300 | |a VII, 119 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Acta Universitatis Upsaliensis : Uppsala dissertations from the Faculty of Science and Technology |v 51 | |
| 500 | |a Uppsala, Univ., Diss., 2003 | ||
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Acta Universitatis Upsaliensis |v Uppsala dissertations from the Faculty of Science and Technology ; 51 |w (DE-604)BV009892883 |9 51 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010675366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010675366 | ||
Record in the Search Index
| _version_ | 1804130479546302464 |
|---|---|
| adam_text | ALETTA NYLEN COMPACT CONSTRAINTS FOR VERIFICATION OF WELL QUASI-ORDERED
PROGRAMS UPPSALA UNIVERSITET CONTENTS 1 INTRODUCTION 1 1.1 OUTLINE 3 1.2
PUBLICATIONS BY THE AUTHOR 4 2 BACKGROUND 5 2.1 PARTIAL ORDER METHODS 5
2.2 SYMBOLIC VERIFICATION 6 2.3 INFINITE-STATE SYSTEMS 7 2.4
WELL-STRUCTURED TRANSITION SYSTEMS 7 2.5 CONSTRAINT EXPLOSION 9 2.6
EXAMPLES 9 2.7 CONTRIBUTION 12 3 FUNDAMENTALS 15 3.1 NOTATION 15 3.2
QUASI-ORDERINGS 15 3.3 TRANSITION SYSTEMS 16 3.4 REACHABILITY 16 3.5
WELL QUASI-ORDERED CONSTRAINT SYSTEMS 17 3.6 BACKWARD REACHABILITY
ALGORITHM 18 4 PETRI NETS 21 4.1 MULTISETS . 21 4.2 PETRI NETS 22 4.3
COVERABILITY 22 4.4 PARAMETERIZED SYSTEMS 23 4.5 A CONSTRAINT SYSTEM 24
5 UNFOLDINGS 25 5.1 COVERABILITY 26 NI IV CONTENTS 5.2 REVERSE
OCCURRENCE NETS 27 5.3 AN UNFOLDING ALGORITHM 29 5.4 TERMINATION 31 5.5
CHECKING COVERABILITY USING SAT-SOLVERS 34 5.6 PROVER 36 5.7
IMPLEMENTATION 36 5.8 EXPERIMENTAL RESULTS 37 5.9 RELATED WORK 40 6
TIMED PETRI NETS 43 6.1 EXISTENTIAL REGIONS 46 6.2 FISCHER S PROTOCOL 47
7 BETTER-STRUCTURED SYSTEMS 51 7.1 WELL QUASI-ORDERED CONSTRAINT SYSTEMS
52 7.2 BETTER-STRUCTURED TRANSITION SYSTEMS 55 7.3 EXISTENTIAL ZONES 58
7.4 EXPERIMENTAL RESULTS 65 7.5 BROADCAST PROTOCOLS 67 7.6 LOSSY CHANNEL
SYSTEMS 67 7.7 INTEGRAL RELATIONAL AUTOMATA 69 7.8 RELATED WORK 70 8
FORWARD ANALYSIS 71 8.1 DOWNWARD CLOSED LANGUAGE GENERATORS 73 8.2
INTERSECTION 75 8.3 ENTAILMENT 78 8.4 MULTISETS 80 8.5 SETS 86 8.6
VECTORS 86 8.7 HIERARCHICAL DLGS 87 8.8 REGION GENERATORS 88 8.9
COMPUTING POST-IMAGES 89 8.10 OTHER MODELS 94 8.11 EXPERIMENTAL RESULTS
95 8.12 RELATED WORK 95 9 UNDECIDABILITY 97 9.1 UNDECIDABILITY OF LTL 98
9.2 THE RECURRENT PLACE PROBLEM 98 9.3 LOSSY COUNTER MACHINES 98 9.4
UNDECIDABILITY PROOF 99 CONTENTS V 10 CONCLUSIONS AND FUTURE WORK 105
INDEX 107 REFERENCES 109
|
| any_adam_object | 1 |
| author | Nylén, Aletta |
| author_facet | Nylén, Aletta |
| author_role | aut |
| author_sort | Nylén, Aletta |
| author_variant | a n an |
| building | Verbundindex |
| bvnumber | BV017773860 |
| ctrlnum | (OCoLC)633225327 (DE-599)BVBBV017773860 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01506nam a2200349 cb4500</leader><controlfield tag="001">BV017773860</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040319 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040114s2003 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9155457886</subfield><subfield code="9">91-554-5788-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633225327</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017773860</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nylén, Aletta</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compact constraints for verification of well quasi-ordered programs</subfield><subfield code="c">Aletta Nylén</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Uppsala</subfield><subfield code="b">Uppsala Univ. Library</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 119 S.</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="490" ind1="1" ind2=" "><subfield code="a">Acta Universitatis Upsaliensis : Uppsala dissertations from the Faculty of Science and Technology</subfield><subfield code="v">51</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Uppsala, Univ., Diss., 2003</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</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">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Acta Universitatis Upsaliensis</subfield><subfield code="v">Uppsala dissertations from the Faculty of Science and Technology ; 51</subfield><subfield code="w">(DE-604)BV009892883</subfield><subfield code="9">51</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=010675366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010675366</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV017773860 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:21:41Z |
| institution | BVB |
| isbn | 9155457886 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010675366 |
| oclc_num | 633225327 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | VII, 119 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Uppsala Univ. Library |
| record_format | marc |
| series | Acta Universitatis Upsaliensis |
| series2 | Acta Universitatis Upsaliensis : Uppsala dissertations from the Faculty of Science and Technology |
| spelling | Nylén, Aletta Verfasser aut Compact constraints for verification of well quasi-ordered programs Aletta Nylén Uppsala Uppsala Univ. Library 2003 VII, 119 S. txt rdacontent n rdamedia nc rdacarrier Acta Universitatis Upsaliensis : Uppsala dissertations from the Faculty of Science and Technology 51 Uppsala, Univ., Diss., 2003 Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Acta Universitatis Upsaliensis Uppsala dissertations from the Faculty of Science and Technology ; 51 (DE-604)BV009892883 51 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010675366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Nylén, Aletta Compact constraints for verification of well quasi-ordered programs Acta Universitatis Upsaliensis Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)4113937-9 |
| title | Compact constraints for verification of well quasi-ordered programs |
| title_auth | Compact constraints for verification of well quasi-ordered programs |
| title_exact_search | Compact constraints for verification of well quasi-ordered programs |
| title_full | Compact constraints for verification of well quasi-ordered programs Aletta Nylén |
| title_fullStr | Compact constraints for verification of well quasi-ordered programs Aletta Nylén |
| title_full_unstemmed | Compact constraints for verification of well quasi-ordered programs Aletta Nylén |
| title_short | Compact constraints for verification of well quasi-ordered programs |
| title_sort | compact constraints for verification of well quasi ordered programs |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Programmierung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010675366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009892883 |
| work_keys_str_mv | AT nylenaletta compactconstraintsforverificationofwellquasiorderedprograms |