Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319498119, 9783319498126

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof Search with Taclets

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_4 ◽

2016 ◽

pp. 107-147

Author(s):

Philipp Rümmer ◽

Mattias Ulbrich

Keyword(s):

Download Full-text

Verification of Counting Sort and Radix Sort

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_19 ◽

2016 ◽

pp. 609-618 ◽

Author(s):

Stijn de Gouw ◽

Frank S. de Boer ◽

Jurriaan Rot

Keyword(s):

Download Full-text

KeY-Hoare

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_17 ◽

2016 ◽

pp. 571-589 ◽

Author(s):

Richard Bubel ◽

Reiner Hähnle

Download Full-text

Formal Verification with KeY: A Tutorial

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_16 ◽

2016 ◽

pp. 541-570

Author(s):

Bernhard Beckert ◽

Reiner Hähnle ◽

Martin Hentschel ◽

Peter H. Schmitt

Keyword(s):

Formal Verification

Download Full-text

Program Transformation and Compilation

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_14 ◽

2016 ◽

pp. 473-492 ◽

Author(s):

Ran Ji ◽

Richard Bubel

Keyword(s):

Program Transformation

Download Full-text

Dynamic Logic for Java

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_3 ◽

2016 ◽

pp. 49-106 ◽

Author(s):

Bernhard Beckert ◽

Vladimir Klebanov ◽

Benjamin Weiß

Keyword(s):

Download Full-text

Functional Verification and Information Flow Analysis of an Electronic Voting System

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_18 ◽

2016 ◽

pp. 593-607

Author(s):

Daniel Grahl ◽

Christoph Scheben

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Electronic Voting ◽

Functional Verification ◽

Information Flow Analysis ◽

Voting System ◽

Electronic Voting System

Download Full-text

Debugging and Visualization

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_11 ◽

2016 ◽

pp. 383-413

Author(s):

Martin Hentschel ◽

Reiner Hähnle ◽

Richard Bubel

Download Full-text

Modular Specification and Verification

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_9 ◽

2016 ◽

pp. 289-351 ◽

Author(s):

Daniel Grahl ◽

Richard Bubel ◽

Wojciech Mostowski ◽

Peter H. Schmitt ◽

Mattias Ulbrich ◽

...

Keyword(s):

Specification And Verification

Download Full-text

First-Order Logic

Lecture Notes in Computer Science - Deductive Software Verification – The KeY Book ◽

10.1007/978-3-319-49812-6_2 ◽

2016 ◽

pp. 23-47 ◽

Author(s):

Peter H. Schmitt

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text