Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9206 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XXIII, 677 S.) Ill., graph. Darst. |
| ISBN: | 9783319216904 9783319216898 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21690-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730399 | ||
| 003 | DE-604 | ||
| 005 | 20150805 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319216904 |c Online |9 978-3-319-21690-4 | ||
| 020 | |a 9783319216898 |c Print |9 978-3-319-21689-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-21690-4 |2 doi | |
| 035 | |a (OCoLC)915783715 | ||
| 035 | |a (DE-599)BVBBV042730399 | ||
| 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 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 500f |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 I |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 (XXIII, 677 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 9206 |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 9206 |w (DE-604)BV014880109 |9 9206 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21690-4 |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=028161430&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=028161430&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-028161430 | ||
Datensatz im Suchindex
| _version_ | 1804174942014537728 |
|---|---|
| adam_text | COMPUTER AIDED VERIFICATION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
A TRUSTED MECHANISED SPECIFICATION OF JAVASCRIPT: ONE YEAR ON
MODEL CHECKING AND REFINEMENTS
ON AUTOMATION OF CTL* VERIFICATION FOR INFINITE-STATE SYSTEMS
ALGORITHMS FOR MODEL CHECKING HYPERLTL AND HYPERCTL
FAIRNESS MODULO THEORY: A NEW APPROACH TO LTL SOFTWARE MODEL CHECKING
MODEL CHECKING PARAMETERIZED ASYNCHRONOUS SHARED-MEMORY SYSTEMS
SMT AND POR BEAT COUNTER ABSTRACTION: PARAMETERIZED MODEL CHECKING OF
THRESHOLD-BASED DISTRIBUTED ALGORITHMS
SKIPPING REFINEMENT
QUANTITATIVE REASONING
PERCENTILE QUERIES IN MULTI-DIMENSIONAL MARKOV DECISION PROCESSES
FASTER ALGORITHMS FOR QUANTITATIVE VERIFICATION IN CONSTANT TREEWIDTH
GRAPHS
COUNTEREXAMPLE EXPLANATION BY LEARNING SMALL STRATEGIES IN MARKOV
DECISION PROCESSES
SYMBOLIC POLYTOPES FOR QUANTITATIVE INTERPOLATION AND VERIFICATION
ADAPTIVE AGGREGATION OF MARKOV CHAINS: QUANTITATIVE ANALYSIS OF CHEMICAL
REACTION NETWORKS
PROPHESY: A PROBABILISTIC PARAMETER SYNTHESIS TOOL
SOFTWARE ANALYSIS
EFFECTIVE SEARCH-SPACE PRUNING FOR SOLVERS OF STRING EQUATIONS, REGULAR
EXPRESSIONS AND LENGTH CONSTRAINTS
AUTOMATA-BASED MODEL COUNTING FOR STRING CONSTRAINTS
OPENJDK’S JAVA.UTILS.COLLECTION.SORT() IS BROKEN: THE GOOD, THE BAD
AND THE WORST CASE
TREE BUFFERS
LEARNING COMMUTATIVITY
SPECIFICATIONS
ANGELIC VERIFICATION: PRECISE VERIFICATION MODULO UNKNOWNS
THE SEAHORN VERIFICATION FRAMEWORK
AUTOMATIC ROOTCAUSING FOR PROGRAM EQUIVALENCE FAILURES IN BINARIES
FINE-GRAINED CACHING OF VERIFICATION RESULTS
PREDICTING A CORRECT PROGRAM IN PROGRAMMING BY EXAMPLE
ABSTRACT INTERPRETATION WITH HIGHER-DIMENSIONAL ELLIPSOIDS AND CONIC
EXTRAPOLATION
LIGHTNING TALKS
ADAM: CAUSALITY-BASED SYNTHESIS OF DISTRIBUTED SYSTEMS
ALCHEMIST: LEARNING GUARDED AFFINE FUNCTIONS
OPTIMATHSAT: A TOOL FOR OPTIMIZATION MODULO THEORIES
SYSTEMATIC ASYNCHRONY BUG EXPLORATION FOR ANDROID APPS
NORN: AN SMT SOLVER FOR STRING CONSTRAINTS
PVSIO-WEB 2.0: JOINING PVS TO HCI
THE HANOI OMEGA-AUTOMATA FORMAT
THE OPEN-SOURCE LEARNLIB: A FRAMEWORK FOR ACTIVE AUTOMATA LEARNING
BBS: A PHASE-BOUNDED MODEL CHECKER FOR ASYNCHRONOUS PROGRAMS
TIME-AWARE ABSTRACTIONS IN HYBRIDSAL
A TYPE-DIRECTED APPROACH TO PROGRAM REPAIR
FORMAL DESIGN AND SAFETY ANALYSIS OF AIR6110 WHEEL BRAKE SYSTEM
MEETING A POWERTRAIN VERIFICATION CHALLENGE
SYNTHESISING EXECUTABLE GENE REGULATORY NETWORKS FROM SINGLE-CELL GENE
EXPRESSION DATA
EMPIRICAL SOFTWARE METRICS FOR BENCHMARKING OF VERIFICATION TOOLS
INTERPOLATION, IC3/PDR, AND INVARIANTS PROPERTY-DIRECTED INFERENCE OF
UNIVERSAL INVARIANTS OR PROVING THEIR ABSENCE
EFFICIENT ANYTIME TECHNIQUES FOR MODEL-BASED SAFETY ANALYSIS
BOOSTING K-INDUCTION WITH CONTINUOUSLY-REFINED INVARIANTS
FAST INTERPOLATING BMC
COUNTEREXAMPLE-GUIDED POLYNOMIAL LOOP INVARIANT GENERATION BY LAGRANGE
INTERPOLATION
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 | BV042730399 |
| classification_tum | DAT 000 DAT 325f DAT 500f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915783715 (DE-599)BVBBV042730399 |
| 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-21690-4 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03023nmm a2200637zcb4500</leader><controlfield tag="001">BV042730399</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">9783319216904</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21690-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319216898</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21689-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21690-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915783715</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730399</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 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="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</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 I</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 (XXIII, 677 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">9206</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">9206</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9206</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21690-4</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=028161430&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=028161430&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-028161430</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.BV042730399 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1074966325 |
| isbn | 9783319216904 9783319216898 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161430 |
| oclc_num | 915783715 |
| 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 (XXIII, 677 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 I edited by Daniel Kroening, Corina S. Păsăreanu Cham Springer International Publishing 2015 1 Online-Ressource (XXIII, 677 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9206 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 9206 (DE-604)BV014880109 9206 https://doi.org/10.1007/978-3-319-21690-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161430&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=028161430&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 I 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 I |
| title_auth | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I |
| title_exact_search | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I |
| title_full | Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I 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 I 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 I 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 i |
| title_sub | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I |
| 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-21690-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161430&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=028161430&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT kroeningdaniel computeraidedverification27thinternationalconferencecav2015sanfranciscocausajuly18242015proceedingsparti AT cavsanfranciscocalif computeraidedverification27thinternationalconferencecav2015sanfranciscocausajuly18242015proceedingsparti |