Computer aided verification: 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture Notes in Computer Science
6806 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XVII, 763 S. graph. Darst. |
| ISBN: | 9783642221095 3642221092 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039130906 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 110711s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N23 |2 dnb | ||
| 016 | 7 | |a 1012139182 |2 DE-101 | |
| 020 | |a 9783642221095 |c Pb. : EUR 93.09 (DE) (freier Pr.), ca. sfr 125.00 (freier Pr.) |9 978-3-642-22109-5 | ||
| 020 | |a 3642221092 |c Pb. : EUR 93.09 (DE) (freier Pr.), ca. sfr 125.00 (freier Pr.) |9 3-642-22109-2 | ||
| 024 | 3 | |a 9783642221095 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80073019 |
| 035 | |a (OCoLC)844877584 | ||
| 035 | |a (DE-599)DNB1012139182 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 005.14 |2 22/ger | |
| 082 | 0 | |a 004.21015113 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Computer aided verification |b 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings |c Ganesh Gopalakrishnan ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XVII, 763 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6806 | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Snowbird Utah |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gopalakrishnan, Ganesh |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 23 |d 2011 |c Snowbird, Utah |j Sonstige |0 (DE-588)16164108-8 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Computer Aided Verification |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6806 |w (DE-604)BV000000607 |9 6806 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3831207&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=024149245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024149245 | |
Datensatz im Suchindex
| _version_ | 1820875328989429760 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
HAMPI: A STRING SOLVER FOR TESTING, ANALYSIS AND VULNERABILITY DETECTION
(INVITED TUTORIAL) 1
VIJAY GANESH, ADAM KIEZUN, SHAY ARTZI, PHILIP J. GUO, PIETER HOOIMEIJER,
AND MICHAEL ERNST
USING TYPES FOR SOFTWARE VERIFICATION (INVITED TUTORIAL) 20
RANJIT JHALA
SMT-BASED MODULAR ANALYSIS OF SEQUENTIAL SYSTEMS CODE (INVITED TUTORIAL)
21
SHUVENDU K. LAHIRI
LOGIC AND COMPOSITIONAL VERIFICATION OF HYBRID SYSTEMS (INVITED
TUTORIAL) 28
ANDRE PLATZER
USING COVERAGE TO DEPLOY FORMAL VERIFICATION IN A SIMULATION WORLD
(INVITED TALK) 44
VIGYAN SINGHAL AND PRASHANT AGGARWAL
STABILITY IN WEAK MEMORY MODELS 50
JADE ALGLAVE AND LUC MARANGET
VERIFICATION OF CERTIFYING COMPUTATIONS G7
EYAD ALKASSAR, SASCHA BOEHME, KURT MEHLHORN, AND CHRISTINE RIZKALLAH
PARAMETER IDENTIFICATION FOR MARKOV MODELS OF BIOCHEMICAL REACTIONS 83
ALEKSANDR ANDREYCHENKO, LINAR MIKEEV, DAVID SPIELER, AND VERENA WOLF
GETTING RID OF STORE-BUFFERS IN TSO ANALYSIS 99
MOHAMED FAOUZI ATIG, AHMED BOUAJJANI, AND GENNARO PARLATO
MALWARE ANALYSIS WITH TREE AUTOMATA INFERENCE 116
DOMAGOJ BABIC, DANIEL REYNAUD, AND DAWN SONG
STATE/EVENT-BASED LTL MODEL CHECKING UNDER PARAMETRIC GENERALIZED
FAIRNESS 132
KYUNGMIN BAE AND JOSE MESEGUER
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012139182
DIGITALISIERT DURCH
IMAGE 2
XIV TABLE OF CONTENTS
RESOLUTION PROOFS AND SKOLEM FUNCTIONS IN QBF EVALUATION AND
APPLICATIONS 149
VALERIY BALABANOV AND JIE-HONG R. JIANG
THE BINCOA FRAMEWORK FOR BINARY CODE ANALYSIS 165
SEBASTIEN BARDIN, PHILIPPE HERRMANN, JEROME LEROUX, OLIVIER LY, RENAUD
TABARY, AND AYMERIC VINCENT
CVC4 171
CLARK BARRETT, CHRISTOPHER L. CONWAY, MORGAN DETERS, LIANA HADAREAN,
DEJAN JOVANOVIC, TIM KING, ANDREW REYNOLDS, AND CESARE TINELLI
SLAYER: MEMORY SAFETY FOR SYSTEMS-LEVEL CODE 178
JOSH BERDINE, BYRON COOK, AND SAMIN ISHTIAQ
CPACHECKER: A TOOL FOR CONFIGURABLE SOFTWARE VERIFICATION 184 DIRK BEYER
AND M. ERKAN KEREMOGLU
EXISTENTIAL QUANTIFICATION AS INCREMENTAL SAT 191
JOERG BRAUER, ANDY KING, AND JAEL KRIENER
EFFICIENT ANALYSIS OF PROBABILISTIC PROGRAMS WITH AN UNBOUNDED COUNTER
208
TOMAS BRAZDIL, STEFAN KIEFER, AND ANTONIN KUCERA
MODEL CHECKING ALGORITHMS FOR CTMDPS 225
PETER BUCHHOLZ, ERNST MORITZ HAHN, HOLGER HERMANNS, AND LIJUN ZHANG
QUANTITATIVE SYNTHESIS FOR CONCURRENT PROGRAMS 243
PAVOL CERNY, KRISHNENDU CHATTERJEE, THOMAS A. HENZINGER, ARJUN
RADHAKRISHNA, AND ROHIT SINGH
SYMBOLIC ALGORITHMS FOR QUALITATIVE ANALYSIS OF MARKOV DECISION
PROCESSES WITH BUECHI OBJECTIVES 260
KRISHNENDU CHATTERJEE, MONIKA HENZINGER, MANAS JOGLEKAR, AND NISARG SHAH
SMOOTHING A PROGRAM SOUNDLY AND ROBUSTLY 277
SWARAT CHAUDHURI AND ARMANDO SOLAR-LEZAMA
A SPECIALIZATION CALCULUS FOR PRUNING DISJUNCTIVE PREDICATES TO SUPPORT
VERIFICATION 293
WEI-NGAN CHIN, CRISTIAN GHERGHINA, RAEZVAN VOICU, QUANG LOE LE, FLORIN
CRACIUN, AND SHENGCHAO QIN
KRATOS - A SOFTWARE MODEL CHECKER FOR SYSTEMC 310
ALESSANDRO CIMATTI, ALBERTO GRIGGIO, ANDREA MICHELI, IMAN NARASAMDYA,
AND MARCO ROVERI
IMAGE 3
TABLE OF CONTENTS XV
EFFICIENT SCENARIO VERIFICATION FOR HYBRID AUTOMATA 317
ALESSANDRO CIMATTI, SERGIO MOVER, AND STEFANO TONETTA
TEMPORAL PROPERTY VERIFICATION AS A PROGRAM ANALYSIS TASK 333
BYRON COOK, ERIC KOSKINEN, AND MOSHE VARDI
TIME FOR STATISTICAL MODEL CHECKING OF REAL-TIME SYSTEMS 349
ALEXANDRE DAVID, KIM G. LARSEN, AXEL LEGAY, MARIUS MIKUCIONIS, AND ZHENG
WANG
SYMMETRY-AWARE PREDICATE ABSTRACTION FOR SHARED-VARIABLE CONCURRENT
PROGRAMS 356
ALASTAIR DONALDSON, ALEXANDER KAISER, DANIEL KROENING, AND THOMAS WAHL
PREDATOR: A PRACTICAL TOOL FOR CHECKING MANIPULATION OF DYNAMIC DATA
STRUCTURES USING SEPARATION LOGIC 372
KAMIL DUDKA, PETR PERINGER, AND TOMAS VOJNAR
SPACEEX: SCALABLE VERIFICATION OF HYBRID SYSTEMS 379
GORAN FREHSE, COLAS LE GUERNIC, ALEXANDRE DONZE, SCOTT COTTON, RAJARSHI
RAY, OLIVIER LEBELTEL, RODOLFO RIPADO, ANTOINE GIRARD, THAO DANG, AND
ODED MALER
FROM CARDIAC CELLS TO GENETIC REGULATORY NETWORKS 396
RADU GROSU, GREGORY BATT, FLAVIO H. FENTON, JAMES GLIMM, COLAS LE
GUERNIC, SCOTT A. SMOLKA, AND EZIO BARTOCCI
THREADER: A CONSTRAINT-BASED VERIFIER FOR MULTI-THREADED PROGRAMS . . .
412 ASHUTOSH GUPTA, CORNELIU POPEEA, AND AUDREY RYBALCHENKO
INTERACTIVE SYNTHESIS OF CODE SNIPPETS 418
TIHOMIR GVERO, VIKTOR KUNCAK, AND RUZICA PISKAC
FOREST AUTOMATA FOR VERIFICATION OF HEAP MANIPULATION 424
PETER HABERMEHL, LUKAS HOLIK, ADAM ROGALEWICZ, JIRI SIMACEK, AND TOMAS
VOJNAR
SYNTHESIZING CYBER-PHYSICAL ARCHITECTURAL MODELS WITH REAL-TIME
CONSTRAINTS 441
CHRISTINE HANG, PANAGIOTIS MANOLIOS, AND VASILIS PAPAVASILEIOU
SSZ- AN EFFICIENT ENGINE FOR FIXED POINTS WITH CONSTRAINTS 457
KRYSTOF HODER, NIKOLAJ BJ0RNER, AND LEONARDO DE MOURA
BAP: A BINARY ANALYSIS PLATFORM 463
DAVID BRUMLEY, IVAN JAGER, THANASSIS AVGERINOS, AND EDWARD J. SCHWARTZ
IMAGE 4
XVI TABLE OF CONTENTS
HMC: VERIFYING FUNCTIONAL PROGRAMS USING ABSTRACT INTERPRETERS 470
RANJIT JHALA, RUPAK MAJUMDAR, AND ANDREY RYBALCHENKO
A QUANTIFIER ELIMINATION ALGORITHM FOR LINEAR MODULAR EQUATIONS AND
DISEQUATIONS 486
AJITH K. JOHN AND SUPRATIK CHAKRABORTY
BUG-ASSIST: ASSISTING FAULT LOCALIZATION IN ANSI-C PROGRAMS 504 MANU
JOSE AND RUPAK MAJUMDAR
SYNTHESIS OF DISTRIBUTED CONTROL THROUGH KNOWLEDGE ACCUMULATION 510 GAL
KATZ, DOWN PELED, AND SVEN SCHEWE
LANGUAGE EQUIVALENCE FOR PROBABILISTIC AUTOMATA 526
STEFAN KIEFER, ANDRZEJ S. MURAWSKI, JOEL OUAKNINE, BJOERN WAECHTER, AND
JAMES WORRELL
FORMALIZATION AND AUTOMATED VERIFICATION OF RESTFUL BEHAVIOR 541 URI
KLEIN AND KEDAR S. NAMJOSHI
LINEAR COMPLETENESS THRESHOLDS FOR BOUNDED MODEL CHECKING 557 DANIEL
KROENING, JOEL OUAKNINE, OFER STRICHMAN, THOMAS WAHL, AND JAMES WORRELL
INTERPOLATION-BASED SOFTWARE VERIFICATION WITH WOLVERINE 573
DANIEL KROENING AND GEORG WEISSENBACHER
SYNTHESIZING BIOLOGICAL THEORIES 579
HILLEL KUGLER, CORY PLOCK, AND ANDY ROBERTS
PRISM 4.0: VERIFICATION OF PROBABILISTIC REAL-TIME SYSTEMS 585 MARTA
KWIATKOWSKA, GETHIN NORMAN, AND DAVID PARKER
PROGRAM ANALYSIS FOR OVERLAID DATA STRUCTURES 592
OUKSEH LEE, HONGSEOK YANG, AND RASMUS PETERSEN
KLOVER: A SYMBOLIC EXECUTION AND AUTOMATIC TEST GENERATION TOOL FOR C++
PROGRAMS 609
GUODONG LI, INDRADEEP GHOSH, AND SREERANGA P. RAJAN
FULLY SYMBOLIC MODEL CHECKING FOR TIMED AUTOMATA 616
GEORGES MORBE, FLORIAN PIGORSCH, AND CHRISTOPH SCHOLL
COMPLETE FORMAL HARDWARE VERIFICATION OF INTERFACES FOR A FLEXRAY-LIKE
BUS 633
CHRISTIAN MUELLER AND WOLFGANG PAUL
SYNTHIA: VERIFICATION AND SYNTHESIS FOR TIMED AUTOMATA 649 HANS-JOERG
PETER, RUEDIGER EHLERS, AND ROBERT MATTMUELLER
IMAGE 5
TABLE OF CONTENTS XVII
F I X B A G: A FIXPOINT CALCULATOR FOR QUANTIFIED BAG CONSTRAINTS 656
TUAN-HUNG PHAM, MINH-THAI TRINH, ANH-HOANG TRUONG, AND WEI-NGAN CHIN
ANALYZING UNSYNTHESIZABLE SPECIFICATIONS FOR HIGH-LEVEL ROBOT BEHAVIOR
USING LTLMOP 663
VASUMATHI RAMAN AND HADAS KRESS-GAZIT
PRACTICAL, LOW-EFFORT EQUIVALENCE VERIFICATION OF REAL CODE 669 DAVID A.
RAMOS AND DAWSON R. ENGLER
RELATIONAL ABSTRACTIONS FOR CONTINUOUS AND HYBRID SYSTEMS 686
SRIRAM SANKARANARAYANAN AND ASHISH TIWARI
SIMPLIFYING LOOP INVARIANT GENERATION USING SPLITTER PREDICATES 703
RAHUL SHARMA, ISIL DILLIG, THOMAS DILLIG, AND ALEX AIKEN
MONITORABILITY OF STOCHASTIC DYNAMICAL SYSTEMS 720
A. PRASAD SISTLA, MILOS ZEFRAN, AND YAO FENG
EQUALITY-BASED TRANSLATION VALIDATOR FOR LLVM 737
MICHAEL STEPP, ROSS TAETE, AND SORIN LERNER
MODEL CHECKING RECURSIVE PROGRAMS WITH NUMERIC DATA TYPES 743 MATTHEW
HAGUE AND ANTHONY WIDJAJA LIN
AUTHOR INDEX 761 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039130906 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f DAT 325f |
| ctrlnum | (OCoLC)844877584 (DE-599)DNB1012139182 |
| dewey-full | 005.14 004.21015113 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.14 004.21015113 004.24 |
| dewey-search | 005.14 004.21015113 004.24 |
| 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">BV039130906</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110711s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012139182</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642221095</subfield><subfield code="c">Pb. : EUR 93.09 (DE) (freier Pr.), ca. sfr 125.00 (freier Pr.)</subfield><subfield code="9">978-3-642-22109-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642221092</subfield><subfield code="c">Pb. : EUR 93.09 (DE) (freier Pr.), ca. sfr 125.00 (freier Pr.)</subfield><subfield code="9">3-642-22109-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642221095</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073019</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844877584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012139182</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-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</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">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 500f</subfield><subfield code="2">stub</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">23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings</subfield><subfield code="c">Ganesh Gopalakrishnan ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 763 S.</subfield><subfield code="b">graph. Darst.</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">6806</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">2011</subfield><subfield code="z">Snowbird Utah</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">Gopalakrishnan, Ganesh</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">23</subfield><subfield code="d">2011</subfield><subfield code="c">Snowbird, Utah</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16164108-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">Computer Aided Verification</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6806</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6806</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=3831207&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=024149245&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-024149245</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Snowbird Utah gnd-content |
| genre_facet | Konferenzschrift 2011 Snowbird Utah |
| id | DE-604.BV039130906 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:53Z |
| institution | BVB |
| institution_GND | (DE-588)16164108-8 |
| isbn | 9783642221095 3642221092 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024149245 |
| oclc_num | 844877584 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM |
| physical | XVII, 763 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Ganesh Gopalakrishnan ... (eds.) Berlin [u.a.] Springer 2011 XVII, 763 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6806 Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Snowbird Utah gnd-content Verifikation (DE-588)4135577-5 s DE-604 Gopalakrishnan, Ganesh Sonstige oth CAV 23 2011 Snowbird, Utah Sonstige (DE-588)16164108-8 oth Erscheint auch als Online-Ausgabe Computer Aided Verification Lecture Notes in Computer Science 6806 (DE-604)BV000000607 6806 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3831207&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=024149245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Lecture Notes in Computer Science Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings |
| title_auth | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings |
| title_exact_search | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings |
| title_full | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Ganesh Gopalakrishnan ... (eds.) |
| title_fullStr | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Ganesh Gopalakrishnan ... (eds.) |
| title_full_unstemmed | Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Ganesh Gopalakrishnan ... (eds.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 23rd international conference cav 2011 snowbird ut usa july 14 20 2011 proceedings |
| title_sub | 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings |
| topic | Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Verifikation Konferenzschrift 2011 Snowbird Utah |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3831207&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=024149245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gopalakrishnanganesh computeraidedverification23rdinternationalconferencecav2011snowbirdutusajuly14202011proceedings AT cavsnowbirdutah computeraidedverification23rdinternationalconferencecav2011snowbirdutusajuly14202011proceedings |