Computer aided verification: 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2008
|
| Series: | Lecture notes in computer science
5123 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XVII, 558 S. graph. Darst. 24 cm |
| ISBN: | 9783540705437 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023377738 | ||
| 003 | DE-604 | ||
| 005 | 20080722 | ||
| 007 | t| | ||
| 008 | 080703s2008 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 989263835 |2 DE-101 | |
| 020 | |a 9783540705437 |c kart. : EUR 72.76 (freier Pr.), sfr 113.00 (freier Pr.) |9 978-3-540-70543-7 | ||
| 024 | 3 | |a 9783540705437 | |
| 028 | 5 | 2 | |a 12319992 |
| 035 | |a (OCoLC)232569765 | ||
| 035 | |a (DE-599)DNB989263835 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.76.E93 | |
| 082 | 0 | |a 004.21015113 |2 22/ger | |
| 082 | 0 | |a 004.21015113 |2 22//ger | |
| 082 | 0 | |a 005.12015113 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Computer aided verification |b 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings |c Aarti Gupta ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XVII, 558 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5123 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Electronic digital computers |x Evaluation |v Congresses | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Princeton NJ |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gupta, Aarti |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 20 |d 2008 |c Princeton, NJ |j Sonstige |0 (DE-588)10347356-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5123 |w (DE-604)BV000000607 |9 5123 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016560892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016560892 | |
Record in the Search Index
| _version_ | 1820875046512492544 |
|---|---|
| adam_text |
GESCANNT DURCH TABLE OF CONTENTS INVITED TALKS SINGULARITY: DESIGNING
BETTER SOFTWARE 1 JAMES R. LARUS COPING WITH OUTSIDE-THE-BOX ATTACKS 3
EDWARD W. FELTEN INVITED TUTORIALS ASSERTION-BASED VERIFICATION:
INDUSTRY MYTHS TO REALITIES 5 HARRY FOSTER THEOREM PROVING FOR
VERIFICATION 11 JOHN HARRISON TUTORIAL ON SEPARATION LOGIC 19 PETER
O'HEARN ABSTRACT INTERPRETATION WITH APPLICATIONS TO TIMING VALIDATION
22 REINHARD WILHELM AND BJORN WACHTER SESSION 1: CONCURRENCY REDUCING
CONCURRENT ANALYSIS UNDER A CONTEXT BOUND TO SEQUENTIAL ANALYSIS 37
AKASH LAI AND THOMAS REPS MONITORING ATOMICITY IN CONCURRENT PROGRAMS 52
AZADEH FARZAN AND P. MADHUSUDAN DYNAMIC VERIFICATION OF MPI PROGRAMS
WITH REDUCTIONS IN PRESENCE OF SPLIT OPERATIONS AND RELAXED ORDERINGS 66
SARVANI VAKKALANKA, GANESH GOPALAKRISHNAN, AND ROBERT M. KIRBY A HYBRID
TYPE SYSTEM FOR LOCK-FREEDOM OF MOBILE PROCESSES 80 NAOKI KOBAYASHI AND
DAVIDE SANGIORGI SESSION 2: MEMORY CONSISTENCY IMPLIED SET CLOSURE AND
ITS APPLICATION TO MEMORY CONSISTENCY VERIFICATION 94 SURENDER BASWANA,
SHASHANK K. MEHTA, AND VISHAL POWAR BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/989263835 DIGITALISIERT DURCH * * * * * * * * * * * * *
* * * * * * 557 TABLE OF CONTENTS XVII APPLICATION OF FORMAL WORD-LEVEL
ANALYSIS TO CONSTRAINED RANDOM SIMULATION 487 HYONDEUK KIM, HOONSANG
JIN, KAVITA RAVI, PETR SPACEK, JOHN PIERCE, BOB KURSHAN, AND FABIO
SOMENZI SESSION 14: MODEL CHECKING PRODUCING SHORT COUNTEREXAMPLES USING
"CRUCIAL EVENTS" 491 SUJATHA KASHYAP AND VIJAY K. GARG DISCRIMINATIVE
MODEL CHECKING 504 PETER NIEBERT, DORON PELED, AND AMIR PNUELI SESSION
15: SPACE EFFICIENT ALGORITHMS CORRECTING A SPACE-EFFICIENT SIMULATION
ALGORITHM 517 ROB VAN GLABBEEK AND BAS PLOEGER SEMI-EXTERNAL LTL MODEL
CHECKING 530 STEFAN EDELKAMP, PETER SANDERS, AND PAVEL SIMECEK SESSION
16: TOOLS * MODEL CHECKING QMC: A MODEL CHECKER FOR QUANTUM SYSTEMS 543
SIMON J. GAY, RAJAGOPAL NAGARAJAN, AND NIKOLAOS PAPANIKOLAOU T(O)RMC: A
TOOL FOR (W)-REGULAR MODEL CHECKING 548 AXEL LEGAY FASTER THAN UPPAAL
552 SEBASTIAN KUPFERSCHMID, MARTIN WEHRLE, BERNHARD NEBEL, AND ANDREAS
PODELSKI AUTHOR INDEX |
| adam_txt |
GESCANNT DURCH TABLE OF CONTENTS INVITED TALKS SINGULARITY: DESIGNING
BETTER SOFTWARE 1 JAMES R. LARUS COPING WITH OUTSIDE-THE-BOX ATTACKS 3
EDWARD W. FELTEN INVITED TUTORIALS ASSERTION-BASED VERIFICATION:
INDUSTRY MYTHS TO REALITIES 5 HARRY FOSTER THEOREM PROVING FOR
VERIFICATION 11 JOHN HARRISON TUTORIAL ON SEPARATION LOGIC 19 PETER
O'HEARN ABSTRACT INTERPRETATION WITH APPLICATIONS TO TIMING VALIDATION
22 REINHARD WILHELM AND BJORN WACHTER SESSION 1: CONCURRENCY REDUCING
CONCURRENT ANALYSIS UNDER A CONTEXT BOUND TO SEQUENTIAL ANALYSIS 37
AKASH LAI AND THOMAS REPS MONITORING ATOMICITY IN CONCURRENT PROGRAMS 52
AZADEH FARZAN AND P. MADHUSUDAN DYNAMIC VERIFICATION OF MPI PROGRAMS
WITH REDUCTIONS IN PRESENCE OF SPLIT OPERATIONS AND RELAXED ORDERINGS 66
SARVANI VAKKALANKA, GANESH GOPALAKRISHNAN, AND ROBERT M. KIRBY A HYBRID
TYPE SYSTEM FOR LOCK-FREEDOM OF MOBILE PROCESSES 80 NAOKI KOBAYASHI AND
DAVIDE SANGIORGI SESSION 2: MEMORY CONSISTENCY IMPLIED SET CLOSURE AND
ITS APPLICATION TO MEMORY CONSISTENCY VERIFICATION 94 SURENDER BASWANA,
SHASHANK K. MEHTA, AND VISHAL POWAR BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/989263835 DIGITALISIERT DURCH * * * * * * * * * * * * *
* * * * * * 557 TABLE OF CONTENTS XVII APPLICATION OF FORMAL WORD-LEVEL
ANALYSIS TO CONSTRAINED RANDOM SIMULATION 487 HYONDEUK KIM, HOONSANG
JIN, KAVITA RAVI, PETR SPACEK, JOHN PIERCE, BOB KURSHAN, AND FABIO
SOMENZI SESSION 14: MODEL CHECKING PRODUCING SHORT COUNTEREXAMPLES USING
"CRUCIAL EVENTS" 491 SUJATHA KASHYAP AND VIJAY K. GARG DISCRIMINATIVE
MODEL CHECKING 504 PETER NIEBERT, DORON PELED, AND AMIR PNUELI SESSION
15: SPACE EFFICIENT ALGORITHMS CORRECTING A SPACE-EFFICIENT SIMULATION
ALGORITHM 517 ROB VAN GLABBEEK AND BAS PLOEGER SEMI-EXTERNAL LTL MODEL
CHECKING 530 STEFAN EDELKAMP, PETER SANDERS, AND PAVEL SIMECEK SESSION
16: TOOLS * MODEL CHECKING QMC: A MODEL CHECKER FOR QUANTUM SYSTEMS 543
SIMON J. GAY, RAJAGOPAL NAGARAJAN, AND NIKOLAOS PAPANIKOLAOU T(O)RMC: A
TOOL FOR (W)-REGULAR MODEL CHECKING 548 AXEL LEGAY FASTER THAN UPPAAL
552 SEBASTIAN KUPFERSCHMID, MARTIN WEHRLE, BERNHARD NEBEL, AND ANDREAS
PODELSKI AUTHOR INDEX |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV023377738 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.E93 |
| callnumber-search | QA76.76.E93 |
| callnumber-sort | QA 276.76 E93 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)232569765 (DE-599)DNB989263835 |
| dewey-full | 004.21015113 005.12015113 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.21015113 005.12015113 004.24 |
| dewey-search | 004.21015113 005.12015113 004.24 |
| dewey-sort | 14.21015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV023377738</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080722</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080703s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">989263835</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540705437</subfield><subfield code="c">kart. : EUR 72.76 (freier Pr.), sfr 113.00 (freier Pr.)</subfield><subfield code="9">978-3-540-70543-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540705437</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12319992</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)232569765</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB989263835</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.E93</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21015113</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings</subfield><subfield code="c">Aarti Gupta ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 558 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">5123</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Evaluation</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Princeton NJ</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gupta, Aarti</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">20</subfield><subfield code="d">2008</subfield><subfield code="c">Princeton, NJ</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10347356-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5123</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5123</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=016560892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016560892</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Princeton NJ gnd-content |
| genre_facet | Konferenzschrift 2008 Princeton NJ |
| id | DE-604.BV023377738 |
| illustrated | Illustrated |
| index_date | 2024-07-02T21:15:11Z |
| indexdate | 2025-01-10T15:09:25Z |
| institution | BVB |
| institution_GND | (DE-588)10347356-7 |
| isbn | 9783540705437 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016560892 |
| oclc_num | 232569765 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVII, 558 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings Aarti Gupta ... (eds.) Berlin [u.a.] Springer 2008 XVII, 558 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5123 Literaturangaben Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Princeton NJ gnd-content Verifikation (DE-588)4135577-5 s DE-604 Gupta, Aarti Sonstige oth CAV 20 2008 Princeton, NJ Sonstige (DE-588)10347356-7 oth Lecture notes in computer science 5123 (DE-604)BV000000607 5123 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016560892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings Lecture notes in computer science Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings |
| title_auth | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings |
| title_exact_search | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings |
| title_exact_search_txtP | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings |
| title_full | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings Aarti Gupta ... (eds.) |
| title_fullStr | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings Aarti Gupta ... (eds.) |
| title_full_unstemmed | Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings Aarti Gupta ... (eds.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 20th international conference cav 2008 princeton nj usa july 7 14 2008 proceedings |
| title_sub | 20th international conference, CAV 2008, Princeton, NJ, USA, July 7 - 14, 2008 ; proceedings |
| topic | Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation Konferenzschrift 2008 Princeton NJ |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016560892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT guptaaarti computeraidedverification20thinternationalconferencecav2008princetonnjusajuly7142008proceedings AT cavprincetonnj computeraidedverification20thinternationalconferencecav2008princetonnjusajuly7142008proceedings |