Holdings: Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	VMCAI New Orleans, La (Author)
Other Authors:	Beyer, Dirk 1972- (Editor), Zufferey, Damien (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham Springer [2020]
Series:	Lecture notes in computer science 11990 : Advanced research in computing and software science
Subjects:	Künstliche Intelligenz Datenstruktur Software Engineering Konferenzschrift > 2020 > New Orleans, La.
Online Access:	Inhaltsverzeichnis
Physical Description:	xiv, 470 Seiten Diagramme
ISBN:	9783030393212

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items