default search action

combined dblp search
author search
venue search
publication search

ask others

3. VSTTE 2010: Edinburgh, UK

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2010
Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani:
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings. Lecture Notes in Computer Science 6217, Springer 2010, ISBN 978-3-642-15056-2

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BallHLQV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BallHLQV10
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. 1-24

Verification Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SezginTQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SezginTQ10
Ali Sezgin, Serdar Tasiran, Shaz Qadeer:
Tressa: Claiming the Future. 25-39
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AlkassarHPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AlkassarHPP10
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova:
Automated Verification of a Small Hypervisor. 40-54

Verification of Low-Level Code

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Ridge10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Ridge10
Tom Ridge:
A Rely-Guarantee Proof System for x86-TSO. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AlkassarPST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AlkassarPST10
Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban:
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. 71-85

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Klein10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Klein10
Gerwin Klein:
The L4.verified Project - Next Steps. 86-96

Requirements and Speci?cations

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/JastramHLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/JastramHLR10
Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo:
An Approach of Requirements Tracing in Formal Refinement. 97-111
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/LeinoM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/LeinoM10
K. Rustan M. Leino, Rosemary Monahan:
Dafny Meets the Verification Benchmarks Challenge. 112-126
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PolikarpovaFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PolikarpovaFM10
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. 127-141

Verification Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Myreen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Myreen10
Magnus O. Myreen:
Reusable Verification of a Copying Collector. 142-156
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BarnettL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BarnettL10
Michael Barnett, K. Rustan M. Leino:
To Goto Where No Statement Has Gone Before. 157-168

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Parkinson10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Parkinson10
Matthew J. Parkinson:
The Next 700 Separation Logics - (Invited Paper). 169-182

Locality in Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RosenbergBN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RosenbergBN10
Stan Rosenberg, Anindya Banerjee, David A. Naumann:
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. 183-198
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Dinsdale-YoungGW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Dinsdale-YoungGW10
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse:
Abstraction and Refinement for Local Reasoning. 199-215

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.