default search action

combined dblp search
author search
venue search
publication search

ask others

Deductive Software Verification 2016

> Home > Series

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:
  - series/lncs/10001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/10001
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich:
Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science 10001, Springer 2016, ISBN 978-3-319-49811-9
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Hahnle16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Hahnle16
Reiner Hähnle:
Quo Vadis Formal Verification? 1-19

Foundations

- view
  authority control:
- export record
  dblp key:
  - series/lncs/Schmitt16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Schmitt16
Peter H. Schmitt:
First-Order Logic. 23-47
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertK016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertK016
Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß:
Dynamic Logic for Java. 49-106
- view
  authority control:
- export record
  dblp key:
  - series/lncs/RummerU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/RummerU16
Philipp Rümmer, Mattias Ulbrich:
Proof Search with Taclets. 107-147
- view
  authority control:
- export record
  dblp key:
  - series/lncs/SchmittB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SchmittB16
Peter H. Schmitt, Richard Bubel:
Theories. 149-166
- view
  authority control:
- export record
  dblp key:
  - series/lncs/WasserHB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/WasserHB16
Nathan Wasser, Reiner Hähnle, Richard Bubel:
Abstract Interpretation. 167-189

Specification and Verification

- view
  authority control:
- export record
  dblp key:
  - series/lncs/HuismanAG016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HuismanAG016
Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel:
Formal Specification with the Java Modeling Language. 193-241
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrahlU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrahlU16
Daniel Grahl, Mattias Ulbrich:
From Specification to Proof Obligations. 243-287
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrahlBMSU016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrahlBMSU016
Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß:
Modular Specification and Verification. 289-351
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Mostowski16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Mostowski16
Wojciech Mostowski:
Verifying Java Card Programs. 353-380

From Verification to Analysis

- view
  authority control:
- export record
  dblp key:
  - series/lncs/0002HB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/0002HB16
Martin Hentschel, Reiner Hähnle, Richard Bubel:
Debugging and Visualization. 383-413
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AhrendtGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AhrendtGH16
Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda:
Proof-based Test Case Generation. 415-451
- view
  authority control:
- export record
  dblp key:
  - series/lncs/SchebenG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SchebenG16
Christoph Scheben, Simon Greiner:
Information Flow Analysis. 453-471
- view
  authority control:
- export record
  dblp key:
  - series/lncs/JiB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/JiB16
Ran Ji, Richard Bubel:
Program Transformation and Compilation. 473-492

The KeY System in Action

- view
  authority control:
- export record
  dblp key:
  - series/lncs/AhrendtG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AhrendtG16
Wolfgang Ahrendt, Sarah Grebing:
Using the KeY Prover. 495-539
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BeckertH0S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BeckertH0S16
Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt:
Formal Verification with KeY: A Tutorial. 541-570
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BubelH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BubelH16
Richard Bubel, Reiner Hähnle:
KeY-Hoare. 571-589

Case Studies

- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrahlS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrahlS16
Daniel Grahl, Christoph Scheben:
Functional Verification and Information Flow Analysis of an Electronic Voting System. 593-607
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GouwBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GouwBR16
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot:
Verification of Counting Sort and Radix Sort. 609-618

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.