×

zbMATH — the first resource for mathematics

Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. (English) Zbl 1409.68014
Lecture Notes in Computer Science 11388. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). xvii, 602 p. (2019).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1409.68012].
Indexed articles:
Raad, Azalea; Lahav, Ori; Vafeiadis, Viktor, On the semantics of snapshot isolation, 1-23 [Zbl 07157038]
Smith, Calvin; Albarghouthi, Aws, Program synthesis with equivalence reduction, 24-47 [Zbl 07157039]
Hamza, Jad; Kunčak, Viktor, Minimal synthesis of string to string functions from examples, 48-69 [Zbl 07157040]
Nguyen, Thanh-Toan; Ta, Quang-Trung; Chin, Wei-Ngan, Automatic program repair using formal verification and expression templates, 70-91 [Zbl 07157041]
Fedyukovich, Grigory; Gurfinkel, Arie; Gupta, Aarti, Lazy but effective functional synthesis, 92-113 [Zbl 07157042]
Ballabriga, Clément; Forget, Julien; Gonnord, Laure; Lipari, Giuseppe; Ruiz, Jordy, Static analysis of binary code with memory indirections using polyhedra, 114-135 [Zbl 07157043]
Boutonnet, Rémy; Halbwachs, Nicolas, Disjunctive relational abstract interpretation for interprocedural program analysis, 136-159 [Zbl 07157044]
Bouillaguet, Quentin; Bobot, François; Sighireanu, Mihaela; Yakobowski, Boris, Exploiting pointer analysis in memory models for deductive verification, 160-182 [Zbl 07157045]
Karl, Anja F.; Schilling, Robert; Bloem, Roderick; Mangard, Stefan, Small faults grow up – verification of error masking robustness in arithmetically encoded programs, 183-204 [Zbl 07157046]
Germane, Kimball; Might, Matthew, Relatively complete pushdown analysis of escape continuations, 205-225 [Zbl 07157047]
Germane, Kimball; McCarthy, Jay; Adams, Michael D.; Might, Matthew, Demand control-flow analysis, 226-246 [Zbl 07157048]
Nicolay, Jens; Stiévenart, Quentin; De Meuter, Wolfgang; De Roover, Coen, Effect-driven flow analysis, 247-274 [Zbl 07157049]
Lu, Tianhan; Černý, Pavol; Chang, Bor-Yuh Evan; Trivedi, Ashutosh, Type-directed bounding of collections in reactive programs, 275-296 [Zbl 07157050]
Hoenicke, Jochen; Schindler, Tanja, Solving and interpolating constant arrays based on weak equivalences, 297-317 [Zbl 07157051]
Qiu, Xiaokang; Wang, Yanjun, A decidable logic for tree data-structures with measurements, 318-341 [Zbl 07157052]
Murphy, Charlie; Kincaid, Zachary, A practical algorithm for structure embedding, 342-362 [Zbl 07157053]
Bueno, Denis; Sakallah, Karem A., EUFORIA: complete software model checking with uninterpreted functions, 363-385 [Zbl 07157054]
Lopes, Nuno P.; Rybalchenko, Andrey, Fast BGP simulation of large datacenters, 386-408 [Zbl 07157055]
André, Étienne; Fribourg, Laurent; Mota, Jean-Marc; Soulat, Romain, Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking, 409-424 [Zbl 07157056]
Yamaguchi, Tomoya; Brain, Martin; Ryder, Chirs; Imai, Yosikazu; Kawamura, Yoshiumi, Application of abstract interpretation to the automotive electronic control system, 425-445 [Zbl 07157057]
Fox, Gereon; Stan, Daniel; Hermanns, Holger, Syntactic partial order compression for probabilistic reachability, 446-467 [Zbl 07157058]
Fu, Hongfei; Chatterjee, Krishnendu, Termination of nondeterministic probabilistic programs, 468-490 [Zbl 07157059]
André, Étienne; Delahaye, Benoit; Fournier, Paulin; Lime, Didier, Parametric timed broadcast protocols, 491-512 [Zbl 07157060]
Decker, Normann; Pirogov, Anton, Flat model checking for counting LTL using quantifier-free Presburger arithmetic, 513-534 [Zbl 07157061]
Huybers, Richard; Laarman, Alfons, A parallel relation-based algorithm for symbolic bisimulation minimization, 535-554 [Zbl 07157062]
Haar, Stefan; Kolčák, Juraj; Paulevé, Loïc, Combining refinement of parametric models with goal-oriented reduction of dynamics, 555-576 [Zbl 07157063]
Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros, Mechanically proving determinacy of hierarchical block diagram translations, 577-600 [Zbl 07157064]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI