Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

5. VSTTE 2013: Menlo Park, CA, USA

> Home > Conferences and Workshops > VSTTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2013
Ernie Cohen, Andrey Rybalchenko:
Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8164, Springer 2014, ISBN 978-3-642-54107-0
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RummerHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RummerHK13
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
Classifying and Solving Horn Clauses for Verification. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AdjeBGGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AdjeBGGP13
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot:
Static Analysis of Programs with Imprecise Probabilistic Inputs. 22-47
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KneussKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KneussKS13
Etienne Kneuss, Viktor Kuncak, Philippe Suter:
Effect Analysis for Programs with Callbacks. 48-67
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ZaveR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ZaveR13
Pamela Zave, Jennifer Rexford:
Compositional Network Mobility. 68-87
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RosnerPAJMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RosnerPAJMF13
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias:
Parallel Bounded Verification of Alloy Models by TranScoping. 88-107
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FalkeMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FalkeMS13
Stephan Falke, Florian Merz, Carsten Sinz:
Extending the Theory of Arrays: memset, memcpy, and Beyond. 108-128
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PhamW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PhamW13
Tuan-Hung Pham, Michael W. Whalen:
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types. 129-148
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TschannenFNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TschannenFNM13
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Program Checking with Less Hassle. 149-169
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/LeinoP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/LeinoP13
K. Rustan M. Leino, Nadia Polikarpova:
Verified Calculations. 170-190
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BobotFMMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BobotFMMP13
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond, Andrei Paskevich:
Preserving User Proofs across Specification Changes. 191-201
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/JostS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/JostS13
Daniel Jost, Alexander J. Summers:
An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames. 202-221
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GoelH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GoelH13
Shilpi Goel, Warren A. Hunt Jr.:
Automated Code Proofs on a Formal Model of the X86. 222-241
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ErnstSHPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ErnstSHPR13
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif:
Verification of a Virtual Filesystem Switch. 242-261
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ZouLWZTYL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ZouLWZTYL13
Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu:
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving. 262-280
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BlazyMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BlazyMP13
Sandrine Blazy, André Maroneze, David Pichardie:
Formal Verification of Loop Bound Estimation for WCET Analysis. 281-303
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BessonCJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BessonCJ13
Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen:
Result Certification of Static Program Analysers with Automated Theorem Provers. 304-325
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NarkawiczM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NarkawiczM13
Anthony Narkawicz, César A. Muñoz:
A Formally Verified Generic Branching Algorithm for Global Optimization. 326-343

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.