Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. VSTTE 2010: Edinburgh, UK
- 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
- Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. 1-24
Verification Techniques
- Ali Sezgin, Serdar Tasiran, Shaz Qadeer:
Tressa: Claiming the Future. 25-39 - Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova:
Automated Verification of a Small Hypervisor. 40-54
Verification of Low-Level Code
- Tom Ridge:
A Rely-Guarantee Proof System for x86-TSO. 55-70 - 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
- Gerwin Klein
:
The L4.verified Project - Next Steps. 86-96
Requirements and Speci?cations
- Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo:
An Approach of Requirements Tracing in Formal Refinement. 97-111 - K. Rustan M. Leino, Rosemary Monahan:
Dafny Meets the Verification Benchmarks Challenge. 112-126 - Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. 127-141
Verification Techniques
- Magnus O. Myreen:
Reusable Verification of a Copying Collector. 142-156 - Michael Barnett, K. Rustan M. Leino:
To Goto Where No Statement Has Gone Before. 157-168
Invited Talk
- Matthew J. Parkinson:
The Next 700 Separation Logics - (Invited Paper). 169-182
Locality in Reasoning
- Stan Rosenberg, Anindya Banerjee, David A. Naumann:
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. 183-198 - Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse:
Abstraction and Refinement for Local Reasoning. 199-215
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.
last updated on 2023-12-09 00:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
