default search action

combined dblp search
author search
venue search
publication search

ask others

7. VSTTE 2015: San Francisco, 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2015
Arie Gurfinkel, Sanjit A. Seshia:
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9593, Springer 2016, ISBN 978-3-319-29612-8
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AltFHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AltFHS15
Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
A Proof-Sensitive Approach for Small Propositional Interpolants. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BeyeneCPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BeyeneCPR15
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko:
Recursive Games for Compositional Program Synthesis. 19-39
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BruckerHNW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BruckerHNW15
Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff:
Testing the IPC Protocol for a Real-Time Operating System. 40-60
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DorreK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DorreK15
Felix Dörre, Vladimir Klebanov:
Pseudo-Random Number Generator Verification: A Case Study. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ErnstPSR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ErnstPSR15
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Inside a Verified Flash File System: Transactions and Garbage Collection. 73-93
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ClochardFP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ClochardFP15
Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich:
How to Avoid Proving the Absence of Integer Overflows. 94-109
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KatisGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KatisGW15
Andreas Katis, Andrew Gacek, Michael W. Whalen:
Machine-Checked Proofs for Realizability Checking Algorithms. 110-123
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Mostowski15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Mostowski15
Wojciech Mostowski:
Dynamic Frames Based Verification Method for Concurrent Java Programs. 124-141
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Oberhauser15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Oberhauser15
Jonas Oberhauser:
A Simpler Reduction Theorem for x86-TSO. 142-164
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SezginT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SezginT15
Ali Sezgin, Serdar Tasiran:
Moving Around: Lipton's Reduction for TSO - (Regular Submission). 165-182
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SmithC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SmithC15
Eric Smith, Alessandro Coglio:
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover. 183-201
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TanTGN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TanTGN15
Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan:
AUSPICE: Automatic Safety Property Verification for Unmodified Executables. 202-222

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.