Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2020]
|
| Schriftenreihe: | Lecture notes in computer science
11990 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | xiv, 470 Seiten Diagramme |
| ISBN: | 9783030393212 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046435743 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200221s2020 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783030393212 |9 978-3-030-39321-2 | ||
| 035 | |a (OCoLC)1142727345 | ||
| 035 | |a (DE-599)BVBBV046435743 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-739 | ||
| 111 | 2 | |a VMCAI |n 21. |d 2020 |c New Orleans, La. |j Verfasser |0 (DE-588)1205159924 |4 aut | |
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings |c Dirk Beyer, Damien Zufferey (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 264 | 4 | |c © 2020 | |
| 300 | |a xiv, 470 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 11990 |a Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenstruktur |0 (DE-588)4011146-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z New Orleans, La. |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z New Orleans, La. |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Datenstruktur |0 (DE-588)4011146-5 |D s |
| 689 | 0 | 2 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Beyer, Dirk |d 1972- |0 (DE-588)124429041 |4 edt | |
| 700 | 1 | |a Zufferey, Damien |0 (DE-588)1205160396 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-39322-9 |
| 830 | 0 | |a Lecture notes in computer science |v 11990 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 11990 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031847889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031847889 | |
Datensatz im Suchindex
| _version_ | 1820875763947143168 |
|---|---|
| adam_text |
Contents Witnessing Secure Compilation. Kedar S. Namjoshi and Lucas Μ. Tabajara BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. Pietro Ferrara, Luca Olivieri, and Fausto Spoto 1 23 Fixing Code that Explodes Under Symbolic Evaluation. Sorawee Porncharoenwase, James Bornholt, and Emina Torlak 44 The Correctness of a Code Generator for a Functional Language. Nathanaël Courant, Antoine Sére, and Natarajan Shankar 68 Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. Jack J. Garzella, Marek Baranowski, Shaobo He, and Zvonimir Rakamarić 90 Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, and Sharon Shoham 112 A Systematic Approach to Abstract Interpretation of Program Transformations. Sven Keidel and Sebastian Erdweg 136 Sharing Ghost Variables in a Collection of Abstract Domains. Marc Chevalier and Jerome Feret Hamessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, and Noam Rinetzky 158 180 Synthesizing
Environment Invariants for Modular Hardware Verification . Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, and Sharad Malik 202 Systematic Classification of Attackers via Bounded Model Checking. Eric Rothstein-Morris, Jun Sun, and Sudipta Chattopadhyay 226
xiv Contents Cheap CTL Compassion in NuSMV. Daniel Hausmann, Tadeusz Litak, Christoph Rauch, and Matthias Zinner 248 A Cooperative Parallelization Approach for Property-Directed k-Induction . Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, and Natasha Sharygina 270 Generalized Property-Directed Reachability for Hybrid Systems. Kohei Suenaga and Takuya Ishizawa 293 Language Inclusion for Finite Prime Event Structures. Andreas Fellner, Thorsten Tarrach, and Georg Weissenbacher 314 Promptness and Bounded Fairness in Concurrent and Parameterized Systems. Swen Jacobs, Mouhammad Sakr, and Martin Zimmermann 337 Solving LIA* Using Approximations. Maxwell Levatich, Nikolaj Bjørner, Ružica Piskać, and Sharon Shoham 360 Formalizing and Checking Multilevel Consistency. Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Gautham Shenoy R., and S. P. Suresh 379 Practical Abstractions for Automated Verification of Shared-Memory Concurrency. Wytse Oortwijn, Dilian Gurov, and Marieke Huisman 401 How to Win First-Order Safety Games. Helmut Seidl, Christian Müller, and Bernd Finkbeiner 426 Improving Parity Game Solvers with
Justifications. Ruben Lapauw, Maurice Bruynooghe, and Marc Denecker 449 Author Index. 471 |
| any_adam_object | 1 |
| author2 | Beyer, Dirk 1972- Zufferey, Damien |
| author2_role | edt edt |
| author2_variant | d b db d z dz |
| author_GND | (DE-588)124429041 (DE-588)1205160396 |
| author_corporate | VMCAI New Orleans, La |
| author_corporate_role | aut |
| author_facet | Beyer, Dirk 1972- Zufferey, Damien VMCAI New Orleans, La |
| author_sort | VMCAI New Orleans, La |
| building | Verbundindex |
| bvnumber | BV046435743 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1142727345 (DE-599)BVBBV046435743 |
| 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">BV046435743</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200221s2020 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030393212</subfield><subfield code="9">978-3-030-39321-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1142727345</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046435743</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-83</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">21.</subfield><subfield code="d">2020</subfield><subfield code="c">New Orleans, La.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1205159924</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings</subfield><subfield code="c">Dirk Beyer, Damien Zufferey (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 470 Seiten</subfield><subfield code="b">Diagramme</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">11990</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">2020</subfield><subfield code="z">New Orleans, La.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">New Orleans, La.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Beyer, Dirk</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)124429041</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zufferey, Damien</subfield><subfield code="0">(DE-588)1205160396</subfield><subfield code="4">edt</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-030-39322-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11990 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11990</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=031847889&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-031847889</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 New Orleans, La. gnd-content |
| genre_facet | Konferenzschrift 2020 New Orleans, La. |
| id | DE-604.BV046435743 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:20:48Z |
| institution | BVB |
| institution_GND | (DE-588)1205159924 |
| isbn | 9783030393212 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031847889 |
| oclc_num | 1142727345 |
| open_access_boolean | |
| owner | DE-83 DE-739 |
| owner_facet | DE-83 DE-739 |
| physical | xiv, 470 Seiten Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | VMCAI 21. 2020 New Orleans, La. Verfasser (DE-588)1205159924 aut Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings Dirk Beyer, Damien Zufferey (eds.) Cham Springer [2020] © 2020 xiv, 470 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11990 Advanced research in computing and software science Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Datenstruktur (DE-588)4011146-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2020 New Orleans, La. gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Datenstruktur (DE-588)4011146-5 s Software Engineering (DE-588)4116521-4 s DE-604 Beyer, Dirk 1972- (DE-588)124429041 edt Zufferey, Damien (DE-588)1205160396 edt Erscheint auch als Online-Ausgabe 978-3-030-39322-9 Lecture notes in computer science 11990 : Advanced research in computing and software science (DE-604)BV000000607 11990 Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031847889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Datenstruktur (DE-588)4011146-5 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4011146-5 (DE-588)4116521-4 (DE-588)1071861417 |
| title | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings |
| title_auth | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings |
| title_full | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings Dirk Beyer, Damien Zufferey (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings Dirk Beyer, Damien Zufferey (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings Dirk Beyer, Damien Zufferey (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 21st international conference vmcai 2020 new orleans la usa january 16 21 2020 proceedings |
| title_sub | 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd Datenstruktur (DE-588)4011146-5 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Künstliche Intelligenz Datenstruktur Software Engineering Konferenzschrift 2020 New Orleans, La. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031847889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT vmcaineworleansla verificationmodelcheckingandabstractinterpretation21stinternationalconferencevmcai2020neworleanslausajanuary16212020proceedings AT beyerdirk verificationmodelcheckingandabstractinterpretation21stinternationalconferencevmcai2020neworleanslausajanuary16212020proceedings AT zuffereydamien verificationmodelcheckingandabstractinterpretation21stinternationalconferencevmcai2020neworleanslausajanuary16212020proceedings |