Verification, model checking, and abstract interpretation: 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7737 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XI, 556 S. 235 mm x 155 mm |
| ISBN: | 3642358721 9783642358722 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040922083 | ||
| 003 | DE-604 | ||
| 005 | 20130410 | ||
| 007 | t| | ||
| 008 | 130402s2013 gw |||| 10||| eng d | ||
| 015 | |a 12,N50 |2 dnb | ||
| 016 | 7 | |a 1028418825 |2 DE-101 | |
| 020 | |a 3642358721 |9 3-642-35872-1 | ||
| 020 | |a 9783642358722 |c Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.) |9 978-3-642-35872-2 | ||
| 024 | 3 | |a 9783642358722 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86208571 |
| 035 | |a (OCoLC)844043776 | ||
| 035 | |a (DE-599)DNB1028418825 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 |a DE-91G |a DE-11 | ||
| 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 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings |c Roberto Giacobazzi ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XI, 556 S. |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 7737 : Advanced research in computing and software science | |
| 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 2013 |z Rom |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 Giacobazzi, Roberto |e Sonstige |4 oth | |
| 711 | 2 | |a VMCAI |n 14 |d 2013 |c Rom |j Sonstige |0 (DE-588)1033104779 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-35873-9 |
| 830 | 0 | |a Lecture notes in computer science |v 7737 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 7737 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4198068&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=025901219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025901219 | |
Datensatz im Suchindex
| _version_ | 1820875455049236480 |
|---|---|
| adam_text |
TABLE OF CONTENTS
INVITED TALKS
A MODEL-CONSTRUCTING SATISFIABILITY CALCULUS 1
LEONARDO DE MOURA AND DEJAN JOVANOVIC
AUTOMATA AS PROOFS 13
ANDREAS PODELSKI
COMPLETE ABSTRACTIONS EVERYWHERE 15
FRANCESCO RANZATO
ABSTRACTION-GUIDED SYNTHESIS 27
ERAN YAHAV
SESSION 1: ANALYSIS OF SYSTEMS WITH CONTINUOUS
BEHAVIOR
SMT-BASED BISIMULATION MINIMISATION OF MARKOV MODELS 28
CHRISTIAN DEHNERT, JOOST-PIETER KATOEN, AND DAVID PARKER
HYBRID AUTOMATA-BASED CEGAR FOR RECTANGULAR HYBRID SYSTEMS 48
PAVITHRA PRABHAKAR, PARAS
ARA SRIDHAR DUGGIRALA, SAYAN MITRA, AND
MAHESH VISWANATHAN
QUANTIFYING INFORMATION LEAKAGE OF RANDOMIZED PROTOCOLS 68
FABRIZIO BIONDI, AXEL LEGAY, PASQUALE MALACARIA, AND
ANDRZEJ WQSOWSKI
SESSION 2: SYNTHESIS
REDUCTIONS FOR SYNTHESIS PROCEDURES 88
SWEN JACOBS, VIKTOR KUNCAK, AND PHILIPPE SUTER
TOWARDS EFFICIENT PARAMETERIZED SYNTHESIS 108
AYRAT KHALIMOV, SWEN JACOBS, AND RODERICK BLOEM
SESSION 3: ANALYSIS ALGORITHMS AND THEOREM PROVING
TECHNIQUES FOR PROGRAM ANALYSIS
AUTOMATIC INFERENCE OF NECESSARY PRECONDITIONS 128
PATRICK COUSOT, RADHIA COUSOT, MANUEL FAHNDRICH, AND
FRANCESCO LOGOZZO
HTTP://D-NB.INFO/1028418825
X TABLE OF CONTENTS
FIXPOINT COMPUTATION IN THE POLYHEDRA ABSTRACT DOMAIN USING
CONVEX AND NUMERICAL ANALYSIS TOOLS 149
YASSAMINE SELADJI AND OLIVIER BOUISSOU
SMT-BASED ARRAY INVARIANT GENERATION 169
DANIEL LARRAZ, ENRIC RODRIGUEZ-CARBONELL, AND ALBERT RUBIO
FLOW-SENSITIVE FAULT LOCALIZATION 189
JIIRGEN CHRIST, EVREN ERMIS, MARTIN SCHDF, AND THOMAS WIES
SESSION 4: AUTOMATA-BASED TECHNIQUES
STATIC ANALYSIS OF STRING ENCODERS AND DECODERS 209
LORIS D'ANTONI AND MARGUS VEANES
ROBUSTNESS ANALYSIS OF NETWORKED SYSTEMS 229
ROOPSHA SAMANTA, JYOTIRMOY V. DESHMUKH, AND SWARAT CHAUDHURI
CAUSALITY CHECKING FOR COMPLEX SYSTEM MODELS 248
FLORIAN LEITNER-FISCHER AND STEFAN LEUE
SESSION 5: TOOLS
CLABUREDB
:
CLASSIFIED BUG-REPORTS DATABASE: TOOL FOR DEVELOPERS OF
PROGRAM ANALYSIS TOOLS 268
JIRI SLABY, JAN STREJCEK, AND MAREK TRTIK
TOOL INTEGRATION WITH THE EVIDENTIAL TOOL BUS 275
SIMON CRUANES, GREGOIRE HAMON, SAM OWRE, AND NATARAJAN SHANKAR
SESSION 6: TYPES AND PROOF METHODOLOGIES
COMPOSITIONAL AND LIGHTWEIGHT DEPENDENT TYPE INFERENCE FOR ML 295
HE ZHU AND SURESH JAGANNATHAN
ABSTRACT READ PERMISSIONS: FRACTIONAL PERMISSIONS WITHOUT THE
FRACTIONS 315
STEFAN HEULE, K. RUSTAN M. LEINO, PETER MIILLER, AND
ALEXANDER J. SUMMERS
SOUND AND COMPLETE FLOW TYPING WITH UNIONS, INTERSECTIONS AND
NEGATIONS 335
DAVID J. PEARCE
TABLE OF CONTENTS XI
SESSION 7: ABSTRACT DOMAINS
KNOCKOUT PREDICTION FOR REACTION NETWORKS WITH PARTIAL KINETIC
INFORMATION 355
MATHIAS JOHN, MIRABELLE NEBUT, AND JOACHIM, NIEHREN
REDUCED PRODUCT COMBINATION OF ABSTRACT DOMAINS FOR SHAPES 375
ANTOINE TOUBHANS, BOR- YUH EVAN CHANG, AND XAVIER RIVAL
ABSTRACTION OF SYNTAX 396
VIJAY D'SILVA AND DANIEL KROENING
SESSION 8: COMBINING BOOLEAN SOLVING AND ABSTRACT
DOMAINS FOR THEORIES
LOGICO-NUMERICAL MAX-STRATEGY ITERATION 414
PETER SCHRAMMEL AND PAVLE SUBOTIC
A CONSTRAINT SOLVER BASED ON ABSTRACT DOMAINS 434
MARIE PELLEAU, ANTOINE MINE, CHARLOTTE TRUCHET, AND
FREDERIC BENHAMOU
AN ABSTRACT INTERPRETATION OF DPLL(T) 455
MARTIN BRAIN, VIJAY D'SILVA, LEOPOLD HALLER. ALBERTO GRIGGIO, AND
DANIEL KROENING
SESSION 9: DISTRIBUTED/CONCURRENT SYSTEM
VERIFICATION
ALL FOR THE PRICE OF FEW: (PARAMETERIZED VERIFICATION THROUGH VIEW
ABSTRACTION) 476
PAROSH AZIZ ABDULLA, FREDERIC HAZIZA, AND LUKAS HOLIK
UNCOVERING SYMMETRIES IN IRREGULAR PROCESS NETWORKS 496
KEDAR S. NAMJOSHI AND RICHARD J. TREFLER
STATE SPACE REDUCTION FOR SENSOR NETWORKS USING TWO-LEVEL PARTIAL
ORDER REDUCTION 515
MANCHUN ZHENG, DAVID SANAN, JUN SUN, YANG LIU,
JIN SONG DONG, AND YU GU
COMPOSITIONAL SEQUENTIALIZATION OF PERIODIC PROGRAMS 536
SAGAR CHAKI, ARIE GURFINKEL, SOONHO KONG, AND OFER STRICHMAN
AUTHOR INDEX
555 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040922083 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)844043776 (DE-599)DNB1028418825 |
| 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">BV040922083</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130410</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130402s2013 gw |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N50</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1028418825</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642358721</subfield><subfield code="9">3-642-35872-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642358722</subfield><subfield code="c">Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.)</subfield><subfield code="9">978-3-642-35872-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642358722</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86208571</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844043776</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1028418825</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</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">14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings</subfield><subfield code="c">Roberto Giacobazzi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 556 S.</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">7737 : Advanced research in computing and software science</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">2013</subfield><subfield code="z">Rom</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">Giacobazzi, Roberto</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">14</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033104779</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="z">978-3-642-35873-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7737 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7737</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=4198068&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=025901219&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-025901219</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content |
| genre_facet | Konferenzschrift 2013 Rom |
| id | DE-604.BV040922083 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:15:54Z |
| institution | BVB |
| institution_GND | (DE-588)1033104779 |
| isbn | 3642358721 9783642358722 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025901219 |
| oclc_num | 844043776 |
| open_access_boolean | |
| owner | DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | XI, 556 S. 235 mm x 155 mm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.) Berlin [u.a.] Springer 2013 XI, 556 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7737 : Advanced research in computing and software science 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 2013 Rom 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 Giacobazzi, Roberto Sonstige oth VMCAI 14 2013 Rom Sonstige (DE-588)1033104779 oth Erscheint auch als Online-Ausgabe 978-3-642-35873-9 Lecture notes in computer science 7737 : Advanced research in computing and software science (DE-604)BV000000607 7737 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4198068&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=025901219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; 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 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings |
| title_auth | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings |
| title_full | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 14th international conference vmcai 2013 rome italy january 20 22 2013 proceedings |
| title_sub | 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; 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 2013 Rom |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4198068&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=025901219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT giacobazziroberto verificationmodelcheckingandabstractinterpretation14thinternationalconferencevmcai2013romeitalyjanuary20222013proceedings AT vmcairom verificationmodelcheckingandabstractinterpretation14thinternationalconferencevmcai2013romeitalyjanuary20222013proceedings |