Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Series: | Lecture Notes in Computer Science
9207 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XVIII, 469 S.) Ill., graph. Darst. |
| ISBN: | 9783319216683 9783319216676 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21668-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730400 | ||
| 003 | DE-604 | ||
| 005 | 20150805 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319216683 |c Online |9 978-3-319-21668-3 | ||
| 020 | |a 9783319216676 |c Print |9 978-3-319-21667-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-21668-3 |2 doi | |
| 035 | |a (OCoLC)915760227 | ||
| 035 | |a (DE-599)BVBBV042730400 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Computer Aided Verification |b 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |c edited by Daniel Kroening, Corina S. Păsăreanu |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XVIII, 469 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9207 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer network architectures | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 651 | 7 | |a San Francisco, Calif. |0 (DE-588)4051520-5 |2 gnd |9 rswk-swf | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 1 | |a San Francisco, Calif. |0 (DE-588)4051520-5 |D g |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kroening, Daniel |e Sonstige |0 (DE-588)135831431 |4 oth | |
| 711 | 2 | |a CAV |n 27. |d 2015 |c San Francisco, Calif. |j Sonstige |0 (DE-588)1074966325 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9207 |w (DE-604)BV014880109 |9 9207 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21668-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161431&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161431 | ||
Record in the Search Index
| _version_ | 1804174942018732032 |
|---|---|
| adam_text | COMPUTER AIDED VERIFICATION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
SMT TECHNIQUES AND APPLICATIONS
POLING: SMT AIDED LINEARIZABILITY PROOFS
FINDING BOUNDED PATH IN GRAPH USING SMT FOR AUTOMATIC CLOCK ROUTING
CUTTING THE MIX
THE INEZ MATHEMATICAL PROGRAMMING MODULO THEORIES FRAMEWORK
USING MINIMAL CORRECTION SETS TO MORE EFFICIENTLY COMPUTE MINIMAL
UNSATISFIABLE SETS
DECIDING LOCAL THEORY EXTENSIONS VIA E-MATCHING
HW VERIFICATION
MODULAR DEDUCTIVE VERIFICATION OF MULTIPROCESSOR HARDWARE DESIGNS
WORD-LEVEL SYMBOLIC TRAJECTORY EVALUATION
VERIFYING LINEARIZABILITY OF INTEL SOFTWARE GUARD EXTENSIONS
SYNTHESIS SYNTHESIS THROUGH UNIFICATION
FROM NON-PREEMPTIVE TO PREEMPTIVE SCHEDULING USING SYNCHRONIZATION
SYNTHESIS
COUNTEREXAMPLE-GUIDED QUANTIFIER INSTANTIATION FOR SYNTHESIS IN SMT
DEDUCTIVE PROGRAM REPAIR
QUANTIFYING CONFORMANCE USING THE SKOROKHOD METRIC
PARETO CURVES OF MULTIDIMENSIONAL MEAN-PAYOFF GAMES
TERMINATION
CONFLICT-DRIVEN CONDITIONAL TERMINATION
PREDICATE ABSTRACTION AND CEGAR FOR DISPROVING TERMINATION OF
HIGHER-ORDER FUNCTIONAL PROGRAMS
COMPLEXITY OF BRADLEY-MANNA-SIPMA LEXICOGRAPHIC RANKING FUNCTIONS
MEASURING WITH TIMED PATTERNS
AUTOMATIC VERIFICATION OF STABILITY AND SAFETY FOR DELAY DIFFERENTIAL
EQUATIONS
TIME ROBUSTNESS IN MTL AND EXPRESSIVITY IN HYBRID SYSTEM FALSIFICATION
CONCURRENCY
ADAPTIVE CONCRETIZATION FOR PARALLEL PROGRAM SYNTHESIS
AUTOMATIC COMPLETION OF DISTRIBUTED PROTOCOLS WITH SYMMETRY
AN AXIOMATIC SPECIFICATION FOR SEQUENTIAL MEMORY MODELS
APPROXIMATE SYNCHRONY: AN ABSTRACTION FOR DISTRIBUTED ALMOST-SYNCHRONOUS
SYSTEMS
AUTOMATED AND MODULAR REFINEMENT REASONING FOR CONCURRENT PROGRAMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COMPUTER AIDED VERIFICATION
/
: 2015
ABSTRACT / INHALTSTEXT
THE TWO-VOLUME SET LNCS 9206 AND LNCS 9207 CONSTITUTES THE REFEREED
PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED
VERIFICATION, CAV 2015, HELD IN SAN FRANCISCO, CA, USA, IN JULY 2015.
THE TOTAL OF 58 FULL AND 11 SHORT PAPERS PRESENTED IN THE PROCEEDINGS
WAS CAREFULLY REVIEWED AND SELECTED FROM 252 SUBMISSIONS. THE PAPERS
WERE ORGANIZED IN TOPICAL SECTIONS NAMED: MODEL CHECKING AND
REFINEMENTS; QUANTITATIVE REASONING; SOFTWARE ANALYSIS; LIGHTNING TALKS;
INTERPOLATION, IC3/PDR, AND INVARIANTS; SMT TECHNIQUES AND APPLICATIONS;
HW VERIFICATION; SYNTHESIS; TERMINATION; AND CONCURRENCY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)135831431 |
| building | Verbundindex |
| bvnumber | BV042730400 |
| classification_tum | DAT 500f DAT 000 DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915760227 (DE-599)BVBBV042730400 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-21668-3 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03024nmm a2200637zcb4500</leader><controlfield tag="001">BV042730400</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150805 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319216683</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21668-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319216676</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21667-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21668-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915760227</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730400</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</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 000</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">27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II</subfield><subfield code="c">edited by Daniel Kroening, Corina S. Păsăreanu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 469 S.)</subfield><subfield code="b">Ill., 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">9207</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="651" ind1=" " ind2="7"><subfield code="a">San Francisco, Calif.</subfield><subfield code="0">(DE-588)4051520-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="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="1"><subfield code="a">San Francisco, Calif.</subfield><subfield code="0">(DE-588)4051520-5</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kroening, Daniel</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135831431</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">27.</subfield><subfield code="d">2015</subfield><subfield code="c">San Francisco, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1074966325</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">9207</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9207</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21668-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028161431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028161431&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161431</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| geographic | San Francisco, Calif. (DE-588)4051520-5 gnd |
| geographic_facet | San Francisco, Calif. |
| id | DE-604.BV042730400 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1074966325 |
| isbn | 9783319216683 9783319216676 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161431 |
| oclc_num | 915760227 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XVIII, 469 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II edited by Daniel Kroening, Corina S. Păsăreanu Cham Springer International Publishing 2015 1 Online-Ressource (XVIII, 469 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9207 0302-9743 Computer science Computer network architectures Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Computer Systems Organization and Communication Networks Informatik Verifikation (DE-588)4135577-5 gnd rswk-swf San Francisco, Calif. (DE-588)4051520-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Verifikation (DE-588)4135577-5 s San Francisco, Calif. (DE-588)4051520-5 g DE-604 Kroening, Daniel Sonstige (DE-588)135831431 oth CAV 27. 2015 San Francisco, Calif. Sonstige (DE-588)1074966325 oth Lecture Notes in Computer Science 9207 (DE-604)BV014880109 9207 https://doi.org/10.1007/978-3-319-21668-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161431&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Lecture Notes in Computer Science Computer science Computer network architectures Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Computer Systems Organization and Communication Networks Informatik Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)4051520-5 (DE-588)1071861417 |
| title | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |
| title_auth | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |
| title_exact_search | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |
| title_full | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II edited by Daniel Kroening, Corina S. Păsăreanu |
| title_fullStr | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II edited by Daniel Kroening, Corina S. Păsăreanu |
| title_full_unstemmed | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II edited by Daniel Kroening, Corina S. Păsăreanu |
| title_short | Computer Aided Verification |
| title_sort | computer aided verification 27th international conference cav 2015 san francisco ca usa july 18 24 2015 proceedings part ii |
| title_sub | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |
| topic | Computer science Computer network architectures Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Computer Systems Organization and Communication Networks Informatik Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Computer science Computer network architectures Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Computer Systems Organization and Communication Networks Informatik Verifikation San Francisco, Calif. Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-21668-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161431&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT kroeningdaniel computeraidedverification27thinternationalconferencecav2015sanfranciscocausajuly18242015proceedingspartii AT cavsanfranciscocalif computeraidedverification27thinternationalconferencecav2015sanfranciscocausajuly18242015proceedingspartii |