Jobstmann, Barbara (ed.); Leino, K. Rustan M. (ed.) Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. (English) Zbl 1329.68030 Lecture Notes in Computer Science 9583. Berlin: Springer (ISBN 978-3-662-49121-8/pbk; 978-3-662-49122-5/ebook). xiii, 558 p. (2016). Show indexed articles as search result. The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1303.68013].Indexed articles:Reps, Thomas; Thakur, Aditya, Automating abstract interpretation, 3-40 [Zbl 1475.68097]Müller, Peter; Schwerhoff, Malte; Summers, Alexander J., Viper: a verification infrastructure for permission-based reasoning, 41-62 [Zbl 1475.68191]Bakst, Alexander; Jhala, Ranjit, Predicate abstraction for linked data structures, 65-84 [Zbl 1475.68176]Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J., An abstract domain of uninterpreted functions, 85-103 [Zbl 1475.68086]Rinetzky, Noam; Shoham, Sharon, Property directed abstract interpretation, 104-123 [Zbl 1475.68192]Karpenkov, Egor George; Monniaux, David; Wendler, Philipp, Program analysis with local policy iteration, 127-146 [Zbl 1475.68092]Ganjei, Zeinab; Rezine, Ahmed; Eles, Petru; Peng, Zebo, Lazy constrained monotonic abstraction, 147-165 [Zbl 1475.68183]Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael, Polyhedral approximation of multivariate polynomials using Handelman’s theorem, 166-184 [Zbl 1475.68093]Peleg, Hila; Shoham, Sharon; Yahav, Eran, \(D^3\): data-driven disjunctive abstraction, 185-205 [Zbl 1475.68291]Hillery, Benjamin; Mercer, Eric; Rungta, Neha; Person, Suzette, Exact heap summaries for symbolic execution, 206-225 [Zbl 1475.68090]Kido, Kengo; Chaudhuri, Swarat; Hasuo, Ichiro, Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis, 229-249 [Zbl 1475.68188]Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha, Lipschitz robustness of timed I/O systems, 250-267 [Zbl 1475.68154]Sogokon, Andrew; Ghorbal, Khalil; Jackson, Paul B.; Platzer, André, A method for invariant generation for polynomial continuous systems, 268-288 [Zbl 1475.68194]Parízek, Pavel, Hybrid analysis for partial order reduction of programs with arrays, 291-310 [Zbl 1475.68095]Holzmann, Gerard J., Cloud-based verification of concurrent software, 311-327 [Zbl 1475.68091]Daca, Przemysław; Gupta, Ashutosh; Henzinger, Thomas A., Abstraction-driven concolic testing, 328-347 [Zbl 1475.68079]Hashemi, Vahid; Hermanns, Holger; Song, Lei, Reward-bounded reachability probability for uncertain weighted MDPs, 351-371 [Zbl 1475.68186]Delahaye, Benoît; Lime, Didier; Petrucci, Laure, Parameter synthesis for parametric interval Markov chains, 372-390 [Zbl 1475.68181]Haziza, Frédéric; Holík, Lukáš; Meyer, Roland; Wolff, Sebastian, Pointer race freedom, 393-412 [Zbl 1475.68089]Doko, Marko; Vafeiadis, Viktor, A program logic for C11 memory fences, 413-430 [Zbl 1475.68083]Dudka, Kamil; Holík, Lukáš; Peringer, Petr; Trtík, Marek; Vojnar, Tomáš, From low-level pointers to high-level containers, 431-452 [Zbl 1475.68084]Lin, Anthony W.; Nguyen, Truong Khanh; Rümmer, Philipp; Sun, Jun, Regular symmetry patterns, 455-475 [Zbl 1475.68190]Außerlechner, Simon; Jacobs, Swen; Khalimov, Ayrat, Tight cutoffs for guarded protocols with fairness, 476-494 [Zbl 1475.68175]De Crescenzo, Ilaria; La Torre, Salvatore, A general modular synthesis problem for pushdown systems, 495-513 [Zbl 1475.68180]Chaki, Sagar; Karimi, Derrick, Model checking with multi-threaded IC3 portfolios, 517-535 [Zbl 1475.68178]Brain, Martin; Hadarean, Liana; Kroening, Daniel; Martins, Ruben, Automatic generation of propagation complete SAT encodings, 536-556 [Zbl 1475.68218] Cited in 1 Review 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 Citations:Zbl 1303.68013 PDFBibTeX XMLCite \textit{B. Jobstmann} (ed.) and \textit{K. R. M. Leino} (ed.), Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17--19, 2016. Proceedings. Berlin: Springer (2016; Zbl 1329.68030) Full Text: DOI