Verification, model checking, and abstract interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture Notes in Computer Science
5944 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 395 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642113185 3642113184 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035964958 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100121s2010 gw d||| |||| 00||| eng d | ||
| 015 | |a 09,N52,0034 |2 dnb | ||
| 016 | 7 | |a 998805157 |2 DE-101 | |
| 020 | |a 9783642113185 |c PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-11318-5 | ||
| 020 | |a 3642113184 |9 3-642-11318-4 | ||
| 024 | 3 | |a 9783642113185 | |
| 028 | 5 | 2 | |a 12829729 |
| 035 | |a (OCoLC)610588080 | ||
| 035 | |a (DE-599)DNB998805157 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 005.14 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings |c Gilles Barthe ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 395 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5944 | |
| 650 | 4 | |a Computer programs |x Verification |v Congresses | |
| 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 2010 |z Madrid |2 gnd-content | |
| 689 | 0 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Barthe, Gilles |e Sonstige |4 oth | |
| 711 | 2 | |a VMCAI |n 11 |d 2010 |c Madrid |j Sonstige |0 (DE-588)16052944-X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5944 |w (DE-604)BV000000607 |9 5944 | |
| 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=018859077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018859077 | |
Datensatz im Suchindex
| _version_ | 1820875196940156928 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS ANALYSIS OF SYSTEMS WITH STOCHASTIC
PROCESS CREATION (ABSTRACT) 1 JAVIER ESPARZA VERIFYING CONCURRENT
PROGRAMS WITH CHALICE (ABSTRACT) 2 K. RUSTAN M. BEINO STATIC TIMING
ANALYSIS FOR HARD REAL-TIME SYSTEMS 3 REINHARD WILHELM, SEBASTIAN
ALTMEYER, CLAIRE BURGUIERE, DANIEL GRAND, JOERG HERTER, JAN REINEKE,
BJOERN WAECHTER, AND STEPHAN WILHELM INVITED TUTORIALS ABSTRACT
INTERPRETATION-BASED PROTECTION (EXTENDED ABSTRACT) 23 ROBERTO
GIACOBAZZI ADVANCES IN PROBABILISTIC MODEL CHECKING (ABSTRACT) 25
JOOST-PIETER KATOEN BUILDING A CALCULUS OF DATA STRUCTURES 26 VIKTOR
KUNCAK, RUZICA PISKAC, PHILIPPE SUTER, AND THOMAS WIES REGULAR PAPERS
TEMPORAL REASONING FOR PROCEDURAL PROGRAMS 45 RAJEEV ALUR AND SWARAT
CHAUDHURI IMPROVED MODEL CHECKING OF HIERARCHICAL SYSTEMS 61 BENJAMIN
AMINO}, ORNA KUPFERMAN, AND ANIELLO MURANO PATH-ORIENTED REACHABILITY
VERIFICATION OF A CLASS OF NONLINEAR HYBRID AUTOMATA USING CONVEX
PROGRAMMING 78 LEI BU, JIANHUA ZHAO, AND XUANDONG LI COMPLEXITY BOUNDS
FOR THE VERIFICATION OF REAL-TIME SOFTWARE 95 ROHIT CHADHA, AXEL LEGAY,
PAVITHRA PRABHAKAR, AND MAHESH VISWANATHAN AN ABSTRACT DOMAIN TO
DISCOVER INTERVAL LINEAR EQUALITIES 112 LIQIAN BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/998805157 DIGITALISIERT DURCH X TABLE OF
CONTENTS CHECKING BOUNDED REACHABILITY IN ASYNCHRONOUS SYSTEMS BY
SYMBOLIC EVENT TRACING 146 JORI DUBROVIN INVARIANT AND TYPE INFERENCE
FOR MATRICES 163 THOMAS A. HENZINGER, THIBAUD HOTTELIER, LAURA KOVACS,
AND ANDREI VORONKOV DERIVING INVARIANTS BY ALGORITHMIC LEARNING,
DECISION PROCEDURES, AND PREDICATE ABSTRACTION 180 YUNGBUM JUNG, SOONHO
KONG, BOW- YAW WANG, AND KWANGKEUN YI AUTOMATIC ABSTRACTION FOR
CONGRUENCES 197 ANDY KING AND HARALD S0NDERGAARD SHAPE ANALYSIS OF
LOW-LEVEL C WITH OVERLAPPING STRUCTURES 214 JOERG KREIKER, HELMUT SEIDL,
AND VESAL VOJDANI ABSTRACT THREADS 231 SHUVENDU K. LAHIRI, ALEXANDER
MALKIS, AND SHAZ QADEER SHAPE ANALYSIS WITH REFERENCE SET RELATIONS 247
MARK MARRON, RUPAK MAJUMDAR, DARKO STEFANOVIC, AND DEEPAK KAPUR SHAPE
ANALYSIS IN THE ABSENCE OF POINTERS AND STRUCTURE 263 MATTHEW MIGHT AN
ANALYSIS OF PERMUTATIONS IN ARRAYS 279 VALENTIN PERRELLE AND NICOLAS
HALBWACHS REGULAR LINEAR TEMPORAL LOGIC WITH PAST 295 CESAR SANCHEZ AND
MARTIN LEUCKER MODEL-CHECKING IN-LINED REFERENCE MONITORS 312 MEERA
SRIDHAR AND KEVIN W. HAMLEN CONSIDERATE REASONING AND THE COMPOSITE
DESIGN PATTERN 328 ALEXANDER J. SUMMERS AND SOPHIA DROSSOPOULOU RGSE |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035964958 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)610588080 (DE-599)DNB998805157 |
| 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">BV035964958</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100121s2010 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N52,0034</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">998805157</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642113185</subfield><subfield code="c">PB. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-11318-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642113184</subfield><subfield code="9">3-642-11318-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642113185</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12829729</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610588080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB998805157</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</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.V47</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 325f</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">11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings</subfield><subfield code="c">Gilles Barthe ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 395 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5944</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</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">2010</subfield><subfield code="z">Madrid</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barthe, Gilles</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">11</subfield><subfield code="d">2010</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16052944-X</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">5944</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5944</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=018859077&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-018859077</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Madrid gnd-content |
| genre_facet | Konferenzschrift 2010 Madrid |
| id | DE-604.BV035964958 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:48Z |
| institution | BVB |
| institution_GND | (DE-588)16052944-X |
| isbn | 9783642113185 3642113184 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018859077 |
| oclc_num | 610588080 |
| 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 | X, 395 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings Gilles Barthe ... (eds.) Berlin [u.a.] Springer 2010 X, 395 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5944 Computer programs Verification Congresses 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 2010 Madrid gnd-content Programmanalyse (DE-588)4175841-9 s DE-604 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 Barthe, Gilles Sonstige oth VMCAI 11 2010 Madrid Sonstige (DE-588)16052944-X oth Lecture Notes in Computer Science 5944 (DE-604)BV000000607 5944 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018859077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings Lecture Notes in Computer Science Computer programs Verification Congresses 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 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings |
| title_auth | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings |
| title_full | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings Gilles Barthe ... (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings Gilles Barthe ... (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings Gilles Barthe ... (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 11th international conference vmcai 2010 madrid spain january 17 19 2010 proceedings |
| title_sub | 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings |
| topic | Computer programs Verification Congresses 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 | Computer programs Verification Congresses Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2010 Madrid |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018859077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT barthegilles verificationmodelcheckingandabstractinterpretation11thinternationalconferencevmcai2010madridspainjanuary17192010proceedings AT vmcaimadrid verificationmodelcheckingandabstractinterpretation11thinternationalconferencevmcai2010madridspainjanuary17192010proceedings |