Verification, model checking, and abstract interpretation: 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
7148 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 460 S. graph. Darst. 24 cm |
| ISBN: | 9783642279393 3642279392 9783642279409 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039823814 | ||
| 003 | DE-604 | ||
| 005 | 20220211 | ||
| 007 | t| | ||
| 008 | 120123s2012 xx d||| |||| 10||| eng d | ||
| 015 | |a 12,N02 |2 dnb | ||
| 015 | |a 12,A04 |2 dnb | ||
| 016 | 7 | |a 1018211543 |2 DE-101 | |
| 020 | |a 9783642279393 |c kart. : EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.) |9 978-3-642-27939-3 | ||
| 020 | |a 3642279392 |9 3-642-27939-2 | ||
| 020 | |a 9783642279409 |c eISBN |9 978-3-642-27940-9 | ||
| 024 | 3 | |a 9783642279393 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86040620 |
| 035 | |a (OCoLC)769420128 | ||
| 035 | |a (DE-599)DNB1018211543 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 005.14 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325 |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings |c Viktor Kuncak ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XI, 460 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 7148 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Philadelphia Pa. |2 gnd-content | |
| 689 | 0 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | 3 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 0 | 4 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kuncak, Viktor |e Sonstige |4 oth | |
| 711 | 2 | |a VMCAI |n 13 |d 2012 |c Philadelphia, Pa. |j Sonstige |0 (DE-588)16336833-8 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Verification, Model Checking, and Abstract Interpretation |
| 830 | 0 | |a Lecture notes in computer science |v 7148 |w (DE-604)BV000000607 |9 7148 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3944515&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=024683885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024683885 | |
Datensatz im Suchindex
| _version_ | 1820875370304372736 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
ABSTRACT DOMAINS FOR AUTOMATED REASONING ABOUT LIST-MANIPULATING
PROGRAMS WITH INFINITE DATA 1
AHMED BOUAJJANI, CEZARA DRAEGOI, CONSTANTIN ENTA, AND MIHAELA SIGHIREANU
SOFTWARE VERIFICATION WITH LIQUID TYPES (ABSTRACT) 23
RANJIT JHALA
TEACHING SEMANTICS WITH A PROOF ASSISTANT: NO MORE LSD TRIP PROOFS 24
TOBIAS NIPKOW
WHALE: AN INTERPOLATION-BASED ALGORITHM FOR INTER-PROCEDURAL
VERIFICATION 39
AWS ALBARGHOUTHI, ARIE GURFINKEL, AND MARSHA CHECHIK
SYNCHRONIZABILITY FOR VERIFICATION OF ASYNCHRONOUSLY COMMUNICATING
SYSTEMS 56
SAMIK BASU, TEVFIK BULTAN, AND MENEM OUEDERNI
ON THE TERMINATION OF INTEGER LOOPS 72
AMIR M. BEN-AMRAM, SAMIR GENAIM, AND ABU NASER MASUD
VERIFICATION OF GAP-ORDER CONSTRAINT ABSTRACTIONS OF COUNTER SYSTEMS 88
LAURA BOZZELLI AND SOPHIE PINCHINAT
ON APPLICATION OF MULTI-ROOTED BINARY DECISION DIAGRAMS TO PROBABILISTIC
MODEL CHECKING 104
DMITRY BUGAYCHENKO
REGRESSION VERIFICATION FOR MULTI-THREADED PROGRAMS 119
SAGAR CHAKI, ARIE GURFINKEL, AND OFER STRICHMAN
CROWFOOT: A VERIFIER FOR HIGHER-ORDER STORE PROGRAMS 136
NATHANIEL CHARLTON, BEN HORSFALL, AND BERNHARD REUS
SYNTHESIZING PROTOCOLS FOR DIGITAL CONTRACT SIGNING 152
KRISHNENDU CHATTERJEE AND VISHWANATH RAMAN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1018211543
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
MODEL CHECKING INFORMATION FLOW IN REACTIVE SYSTEMS 169
RAYNA DIMITROVA, BERND FINKBEINER, MATE KOVACS, MARKUS N. RABE, AND
HELMUT SEIDL
SPLITTING VIA INTERPOLANTS 186
EVREN ERMIS, JOCHEN HOENICKE, AND ANDREAS PODELSKI
AUTOMATIC INFERENCE OF ACCESS PERMISSIONS 202
PIETRO FERRARA AND PETER MUELLER
LAZY SYNTHESIS 219
BERND FINKBEINER AND SWEN JACOBS
DONUT DOMAINS: EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRETATION
235
KHALIL GHORBAL, FRANJO IVANCIC, GOGUL BALAKRISHNAN, NAOTO MAEDA, AND
AARTI GUPTA
INFERRING CANONICAL REGISTER AUTOMATA 251
FOLK HOWAR, BERNHARD STEFFEN, BENGT JONSSON, AND SOFIA CASSEL
ALTERNATING CONTROL FLOW RECONSTRUCTION 267
JOHANNES KINDER AND DMITRY KRAVCHENKO
EFFECTIVE SYNTHESIS OF ASYNCHRONOUS SYSTEMS FROM GR(1) SPECIFICATIONS
283
URI KLEIN, NIR PITERMAN, AND AMIR PNUELI
SOUND NON-STATISTICAL CLUSTERING OF STATIC ANALYSIS ALARMS 299
WOOSUK LEE, WONCHAN LEE, AND KWANGKEUN YI
AUTOMATING INDUCTION WITH AN SMT SOLVER 315
K. RUSTAN M. LEINO
MODELING ASYNCHRONOUS MESSAGE PASSING FOR C PROGRAMS 332
EVERETT MORSE, NICK VRVILO, ERIC MERCER, AND JAY MCCARTHY
LOCAL SYMMETRY AND COMPOSITIONAL VERIFICATION 348
KEDAR S. NAMJOSHI AND RICHARD J. TREFLER
VERSAT: A VERIFIED MODERN SAT SOLVER 363
DUCKKI OE, AARON STUMP, COREY OLIVER, AND KEVIN CLANCY
DECISION PROCEDURES FOR REGION LOGIC 379
STAN ROSENBERG, ANINDYA BANERJEE, AND DAVID A. NAUMANN
A GENERAL FRAMEWORK FOR PROBABILISTIC CHARACTERIZING FORMULAE 396 JOSHUA
SACK AND LIJUN ZHANG
LOOP INVARIANT SYMBOLIC EXECUTION FOR PARALLEL PROGRAMS 412
STEPHEN F. SIEGEL AND TIMOTHY K. ZIRKEL
IMAGE 3
TABLE OF CONTENTS XI
SYNTHESIZING EFFICIENT CONTROLLERS 428
CHRISTIAN VON ESSEN AND BARBARA JOBSTMANN
IDEAL ABSTRACTIONS FOR WELL-STRUCTURED TRANSITION SYSTEMS 445 DAMIEN
ZUFFEREY, THOMAS WIES, AND THOMAS A. HENZINGER
AUTHOR INDEX 461 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039823814 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325 |
| ctrlnum | (OCoLC)769420128 (DE-599)DNB1018211543 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | 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">BV039823814</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220211</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120123s2012 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N02</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A04</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1018211543</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642279393</subfield><subfield code="c">kart. : EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.)</subfield><subfield code="9">978-3-642-27939-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642279392</subfield><subfield code="9">3-642-27939-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642279409</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-27940-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642279393</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86040620</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)769420128</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1018211543</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</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 325</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings</subfield><subfield code="c">Viktor Kuncak ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 460 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">7148</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</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">2012</subfield><subfield code="z">Philadelphia Pa.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Kuncak, Viktor</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">13</subfield><subfield code="d">2012</subfield><subfield code="c">Philadelphia, Pa.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16336833-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Verification, Model Checking, and Abstract Interpretation</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7148</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7148</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3944515&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=024683885&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-024683885</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Philadelphia Pa. gnd-content |
| genre_facet | Konferenzschrift 2012 Philadelphia Pa. |
| id | DE-604.BV039823814 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:33Z |
| institution | BVB |
| institution_GND | (DE-588)16336833-8 |
| isbn | 9783642279393 3642279392 9783642279409 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024683885 |
| oclc_num | 769420128 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XI, 460 S. graph. Darst. 24 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings Viktor Kuncak ... (eds.) Berlin [u.a.] Springer 2012 XI, 460 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7148 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Philadelphia Pa. gnd-content Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Formale Methode (DE-588)4333722-3 s DE-604 Kuncak, Viktor Sonstige oth VMCAI 13 2012 Philadelphia, Pa. Sonstige (DE-588)16336833-8 oth Erscheint auch als Online-Ausgabe Verification, Model Checking, and Abstract Interpretation Lecture notes in computer science 7148 (DE-604)BV000000607 7148 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3944515&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024683885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417 |
| title | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings |
| title_auth | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings |
| title_full | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings Viktor Kuncak ... (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings Viktor Kuncak ... (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings Viktor Kuncak ... (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 13th international conference vmcai 2012 philadelphia pa usa january 22 24 2012 proceedings |
| title_sub | 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| topic_facet | Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2012 Philadelphia Pa. |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3944515&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024683885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kuncakviktor verificationmodelcheckingandabstractinterpretation13thinternationalconferencevmcai2012philadelphiapausajanuary22242012proceedings AT vmcaiphiladelphiapa verificationmodelcheckingandabstractinterpretation13thinternationalconferencevmcai2012philadelphiapausajanuary22242012proceedings |