×

zbMATH — the first resource for mathematics

Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. (English) Zbl 1355.68009
Lecture Notes in Computer Science 10145. Cham: Springer (ISBN 978-3-319-52233-3/pbk; 978-3-319-52234-0/ebook). xvii, 560 p. (2017).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1329.68030].
Indexed articles:
Ahmed, Zara; Benque, David; Berezin, Sergey; Dahl, Anna Caroline E.; Fisher, Jasmin; Hall, Benjamin A.; Ishtiaq, Samin; Nanavati, Jay; Piterman, Nir; Riechert, Maik; Skoblov, Nikita, Bringing LTL model checking to biologists, 1-13 [Zbl 06687347]
Cuoq, Pascal; Runarvot, Loïc; Cherepanov, Alexander, Detecting strict aliasing violations in the wild, 14-33 [Zbl 06687348]
Abal, Iago; Brabrand, Claus; Wąsowski, Andrzej, Effective bug finding in C programs with shape and effect abstractions, 34-54 [Zbl 06687349]
Bloem, Roderick; Chockler, Hana; Ebrahimi, Masoud; Strichman, Ofer, Synthesizing non-vacuous systems, 55-72 [Zbl 06687350]
Botbol, Vincent; Chailloux, Emmanuel; Le Gall, Tristan, Static analysis of communicating processes using symbolic transducers, 73-90 [Zbl 06687351]
Bride, Hadrien; Kouchnarenko, Olga; Peureux, Fabien, Reduction of workflow nets for generalised soundness verification, 91-111 [Zbl 06687352]
Blazy, Sandrine; Bühler, David; Yakobowski, Boris, Structuring abstract interpreters through state and value abstractions, 112-130 [Zbl 06687353]
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul, Matching multiplications in bit-vector formulas, 131-150 [Zbl 06687354]
D’Silva, Vijay; Kroening, Daniel; Sousa, Marcelo, Independence abstractions and models of concurrency, 151-168 [Zbl 06687355]
D’Silva, Vijay; Sousa, Marcelo, Complete abstractions and subclassical modal logics, 169-186 [Zbl 06687356]
Ferrara, Pietro; Tripp, Omer; Liu, Peng; Koskinen, Eric, Using abstract interpretation to correct synchronization faults, 187-208 [Zbl 06687357]
Frumkin, Asya; Feldman, Yotam M. Y.; Lhoták, Ondřej; Padon, Oded; Sagiv, Mooly; Shoham, Sharon, Property directed reachability for proving absence of concurrent modification errors, 209-227 [Zbl 06687358]
Gu, Yijia; Wahl, Thomas, Stabilizing floating-point programs using provenance analysis, 228-245 [Zbl 06687359]
Günther, Henning; Laarman, Alfons; Sokolova, Ana; Weissenbacher, Georg, Dynamic reductions for model checking concurrent software, 246-265 [Zbl 06687360]
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun, Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games, 266-287 [Zbl 06687361]
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš, Counterexample validation and interpolation-based refinement for forest automata, 288-309 [Zbl 06687362]
Jiang, Jiahong; Chen, Liqian; Wu, Xueguang; Wang, Ji, Block-wise abstract interpretation by combining abstract domains with SMT, 310-329 [Zbl 06687363]
Jovanović, Dejan, Solving nonlinear integer arithmetic with MCSAT, 330-346 [Zbl 06687364]
Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca, Accuracy of message counting abstraction in fault-tolerant distributed algorithms, 347-366 [Zbl 06687365]
Maréchal, Alexandre; Périn, Michaël, Efficient elimination of redundancies in polyhedra by raytracing, 367-385 [Zbl 06687366]
Monat, Raphaël; Miné, Antoine, Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions, 386-404 [Zbl 06687367]
Mukherjee, Suvam; Kumar, Arun; D’Souza, Deepak, Detecting all high-level dataraces in an RTOS kernel, 405-423 [Zbl 06687368]
Muscholl, Anca; Seidl, Helmut; Walukiewicz, Igor, Reachability for dynamic parametric processes, 424-441 [Zbl 06687369]
Ozeri, Or; Padon, Oded; Rinetzky, Noam; Sagiv, Mooly, Conjunctive abstract interpretation using paramodulation, 442-461 [Zbl 06687370]
Reynolds, Andrew; Iosif, Radu; Serban, Cristina, Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic, 462-482 [Zbl 06687371]
Seladji, Yassamine, Finding relevant templates via the principal component analysis, 483-499 [Zbl 06687372]
Sharma, Tushar; Reps, Thomas, Sound bit-precise numerical domains, 500-520 [Zbl 06687373]
Vizel, Yakir; Gurfinkel, Arie; Shoham, Sharon; Malik, Sharad, IC3 – flipping the E in ICE, 521-538 [Zbl 06687374]
Wang, Wei; Barrett, Clark; Wies, Thomas, Partitioned memory models for program analysis, 539-558 [Zbl 06687375]

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