Verification, model checking, and abstract interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer
2016
|
| Schriftenreihe: | Lecture Notes in Computer Science
9583 |
| Schlagworte: | |
| Online-Zugang: | HTW01 TUM01 UBR01 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online Ressource (XIII, 558 Seiten) Illustrationen |
| ISBN: | 9783662491225 9783662491218 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-49122-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043309091 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160125s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662491225 |c Online |9 978-3-662-49122-5 | ||
| 020 | |a 9783662491218 |c Print |9 978-3-662-49121-8 | ||
| 024 | 7 | |a 10.1007/978-3-662-49122-5 |2 doi | |
| 035 | |a (OCoLC)935179859 | ||
| 035 | |a (DE-599)BVBBV043309091 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings |c edited by Barbara Jobstmann, K. Rustan M. Leino |
| 264 | 1 | |a Berlin, Heidelberg |b Springer |c 2016 | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (XIII, 558 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v Volume 9583 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |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 Jobstmann, Barbara |4 edt | |
| 711 | 2 | |a VMCAI |n 17. |d 2016 |c Saint Petersburg, Fla. |j Sonstige |0 (DE-588)1082526479 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9583 |w (DE-604)BV014880109 |9 9583 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-49122-5 |x Verlag |z URL des Erstveröffentlichers |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=028729787&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=028729787&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_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028729787 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-49122-5 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49122-5 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49122-5 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49122-5 |l UBY01 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175845658460160 |
|---|---|
| adam_text | VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ABSTRACT INTERPRETATION
ABSTRACTION
HYBRID AND TIMED SYSTEMS
DYNAMIC AND STATIC VERIFICATION
PROBABILISTIC SYSTEMS
CONCURRENT PROGRAMS
PARAMETERIZED AND COMPONENT-BASED SYSTEMS
SOLVER IMPROVEMENTS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 17TH INTERNATIONAL
CONFERENCE ON VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION,
VMCAI 2016, HELD IN ST. PETERSBURG, FL, USA, IN JANUARY 2016. THE 24
FULL PAPERS TOGETHER WITH 2 INVITED TALKS AND 1 ABSTRACT PRESENTED WERE
CAREFULLY REVIEWED AND SELECTED FROM 67 SUBMISSIONS. VMCAI PROVIDES
TOPICS INCLUDING: PROGRAM VERIFICATION, MODEL CHECKING, ABSTRACT
INTERPRETATION AND ABSTRACT DOMAINS, PROGRAM SYNTHESIS, STATIC ANALYSIS,
TYPE SYSTEMS, DEDUCTIVE METHODS, PROGRAM CERTIFICATION, DEBUGGING
TECHNIQUES, PROGRAM TRANSFORMATION, OPTIMIZATION, HYBRID AND
CYBER-PHYSICAL SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Jobstmann, Barbara |
| author2_role | edt |
| author2_variant | b j bj |
| author_facet | Jobstmann, Barbara |
| building | Verbundindex |
| bvnumber | BV043309091 |
| classification_tum | DAT 000 DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)935179859 (DE-599)BVBBV043309091 |
| 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-662-49122-5 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03986nmm a2200805zcb4500</leader><controlfield tag="001">BV043309091</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160125s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662491225</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-49122-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662491218</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-49121-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-49122-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)935179859</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043309091</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</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="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings</subfield><subfield code="c">edited by Barbara Jobstmann, K. Rustan M. Leino</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2016</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XIII, 558 Seiten)</subfield><subfield code="b">Illustrationen</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">Volume 9583</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 communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</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">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">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">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="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="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">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">Jobstmann, Barbara</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">17.</subfield><subfield code="d">2016</subfield><subfield code="c">Saint Petersburg, Fla.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1082526479</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">9583</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9583</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-49122-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028729787&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=028729787&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_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028729787</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-49122-5</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-49122-5</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-49122-5</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-49122-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043309091 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:22:46Z |
| institution | BVB |
| institution_GND | (DE-588)1082526479 |
| isbn | 9783662491225 9783662491218 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028729787 |
| oclc_num | 935179859 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online Ressource (XIII, 558 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings edited by Barbara Jobstmann, K. Rustan M. Leino Berlin, Heidelberg Springer 2016 © 2016 1 Online Ressource (XIII, 558 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9583 0302-9743 Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computer Communication Networks Mathematical Logic and Formal Languages Computation by Abstract Devices Programming Languages, Compilers, Interpreters Informatik Programmverifikation (DE-588)4135576-3 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 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 Jobstmann, Barbara edt VMCAI 17. 2016 Saint Petersburg, Fla. Sonstige (DE-588)1082526479 oth Lecture Notes in Computer Science 9583 (DE-604)BV014880109 9583 https://doi.org/10.1007/978-3-662-49122-5 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028729787&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=028729787&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Lecture Notes in Computer Science Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computer Communication Networks Mathematical Logic and Formal Languages Computation by Abstract Devices Programming Languages, Compilers, Interpreters Informatik Programmverifikation (DE-588)4135576-3 gnd Formale Methode (DE-588)4333722-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4333722-3 (DE-588)4621153-6 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)1071861417 |
| title | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings |
| title_auth | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings |
| title_full | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings edited by Barbara Jobstmann, K. Rustan M. Leino |
| title_fullStr | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings edited by Barbara Jobstmann, K. Rustan M. Leino |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings edited by Barbara Jobstmann, K. Rustan M. Leino |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 17th international conference vmcai 2016 st petersburg fl usa january 17 19 2016 proceedings |
| title_sub | 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings |
| topic | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computer Communication Networks Mathematical Logic and Formal Languages Computation by Abstract Devices Programming Languages, Compilers, Interpreters Informatik Programmverifikation (DE-588)4135576-3 gnd Formale Methode (DE-588)4333722-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computer Communication Networks Mathematical Logic and Formal Languages Computation by Abstract Devices Programming Languages, Compilers, Interpreters Informatik Programmverifikation Formale Methode Abstrakte Interpretation Programmanalyse Model Checking Konferenzschrift |
| url | https://doi.org/10.1007/978-3-662-49122-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028729787&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=028729787&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT jobstmannbarbara verificationmodelcheckingandabstractinterpretation17thinternationalconferencevmcai2016stpetersburgflusajanuary17192016proceedings AT vmcaisaintpetersburgfla verificationmodelcheckingandabstractinterpretation17thinternationalconferencevmcai2016stpetersburgflusajanuary17192016proceedings |