© 2014

Verified Software: Theories, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

  • Ernie Cohen
  • Andrey Rybalchenko
Conference proceedings VSTTE 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8164)

Table of contents

  1. Front Matter
  2. Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
    Pages 1-21
  3. Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
    Pages 22-47
  4. Etienne Kneuss, Viktor Kuncak, Philippe Suter
    Pages 48-67
  5. Pamela Zave, Jennifer Rexford
    Pages 68-87
  6. Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
    Pages 88-107
  7. Stephan Falke, Florian Merz, Carsten Sinz
    Pages 108-128
  8. Tuan-Hung Pham, Michael W. Whalen
    Pages 129-148
  9. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
    Pages 149-169
  10. K. Rustan M. Leino, Nadia Polikarpova
    Pages 170-190
  11. François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich
    Pages 191-201
  12. Daniel Jost, Alexander J. Summers
    Pages 202-221
  13. Shilpi Goel, Warren A. Hunt Jr.
    Pages 222-241
  14. Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
    Pages 242-261
  15. Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan et al.
    Pages 262-280
  16. Sandrine Blazy, André Maroneze, David Pichardie
    Pages 281-303
  17. Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas Jensen
    Pages 304-325
  18. Anthony Narkawicz, César Muñoz
    Pages 326-343
  19. Back Matter

About these proceedings


This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.


global optimization hybrid system parallel SAT-solving static analysis theorem proving

Editors and affiliations

  • Ernie Cohen
    • 1
  • Andrey Rybalchenko
    • 2
  1. 1.107 Hewett Road, WyncoteUSA
  2. 2.Technische UniversitätMünchenGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment