×

zbMATH — the first resource for mathematics

Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. (English) Zbl 1298.68027
Lecture Notes in Computer Science 7737. Berlin: Springer (ISBN 978-3-642-35872-2/pbk). xi, 556 p. (2013).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1236.68007].
Indexed articles:
de Moura, Leonardo; Jovanović, Dejan, A model-constructing satisfiability calculus, 1-12 [Zbl 1426.68251]
Ranzato, Francesco, Complete abstractions everywhere, 15-26 [Zbl 1426.68059]
Dehnert, Christian; Katoen, Joost-Pieter; Parker, David, SMT-based bisimulation minimisation of Markov models, 28-47 [Zbl 1426.68168]
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh, Hybrid automata-based CEGAR for rectangular hybrid systems, 48-67 [Zbl 1426.68175]
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej, Quantifying information leakage of randomized protocols, 68-87 [Zbl 1329.68188]
Jacobs, Swen; Kuncak, Viktor; Suter, Philippe, Reductions for synthesis procedures, 88-107 [Zbl 1426.68049]
Khalimov, Ayrat; Jacobs, Swen; Bloem, Roderick, Towards efficient parameterized synthesis, 108-127 [Zbl 1426.68051]
Seladji, Yassamine; Bouissou, Olivier, Fixpoint computation in the polyhedra abstract domain using convex and numerical analysis tools, 149-168 [Zbl 1426.68063]
Larraz, Daniel; Rodríguez-Carbonell, Enric; Rubio, Albert, SMT-based array invariant generation, 169-188 [Zbl 1426.68056]
D’Antoni, Loris; Veanes, Margus, Static analysis of string encoders and decoders, 209-228 [Zbl 1426.68043]
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat, Robustness analysis of networked systems, 229-247 [Zbl 1426.68186]
Leitner-Fischer, Florian; Leue, Stefan, Causality checking for complex system models, 248-267 [Zbl 1426.68173]
Zhu, He; Jagannathan, Suresh, Compositional and lightweight dependent type inference for ML, 295-314 [Zbl 1426.68036]
Pearce, David J., Sound and complete flow typing with unions, intersections and negations, 335-354 [Zbl 1427.68049]
John, Mathias; Nebut, Mirabelle; Niehren, Joachim, Knockout prediction for reaction networks with partial kinetic information, 355-374 [Zbl 1435.92024]
Toubhans, Antoine; Chang, Bor-Yuh Evan; Rival, Xavier, Reduced product combination of abstract domains for shapes, 375-395 [Zbl 1426.68066]
D’Silva, Vijay; Kroening, Daniel, Abstraction of syntax, 396-413 [Zbl 1426.68157]
Schrammel, Peter; Subotic, Pavle, Logico-numerical max-strategy iteration, 414-433 [Zbl 1426.68062]
Pelleau, Marie; Miné, Antoine; Truchet, Charlotte; Benhamou, Frédéric, A constraint solver based on abstract domains, 434-454 [Zbl 1426.68159]
Brain, Martin; D’silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel, An abstract interpretation of DPLL(T), 455-475 [Zbl 1426.68249]
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš, All for the price of few (parameterized verification through view abstraction), 476-495 [Zbl 1426.68160]
Namjoshi, Kedar S.; Trefler, Richard J., Uncovering symmetries in irregular process networks, 496-514 [Zbl 1426.68019]
Zheng, Manchun; Sanán, David; Sun, Jun; Liu, Yang; Dong, Jin Song; Gu, Yu, State space reduction for sensor networks using two-level partial order reduction, 515-535 [Zbl 1426.68026]
Chaki, Sagar; Gurfinkel, Arie; Kong, Soonho; Strichman, Ofer, Compositional sequentialization of periodic programs, 536-554 [Zbl 1426.68042]

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