×

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]

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
Full Text: DOI