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

2016 ◽  
pp. 107-147
Author(s):  
Philipp Rümmer ◽  
Mattias Ulbrich
Keyword(s):  
Proof Search

Verification of Counting Sort and Radix Sort

2016 ◽  
pp. 609-618 ◽  
Author(s):  
Stijn de Gouw ◽  
Frank S. de Boer ◽  
Jurriaan Rot
Keyword(s):  
Radix Sort ◽  
Counting Sort

KeY-Hoare

2016 ◽  
pp. 571-589 ◽  
Author(s):  
Richard Bubel ◽  
Reiner Hähnle

Formal Verification with KeY: A Tutorial

2016 ◽  
pp. 541-570
Author(s):  
Bernhard Beckert ◽  
Reiner Hähnle ◽  
Martin Hentschel ◽  
Peter H. Schmitt
Keyword(s):  
Formal Verification

Program Transformation and Compilation

2016 ◽  
pp. 473-492 ◽  
Author(s):  
Ran Ji ◽  
Richard Bubel
Keyword(s):  
Program Transformation

Dynamic Logic for Java

2016 ◽  
pp. 49-106 ◽  
Author(s):  
Bernhard Beckert ◽  
Vladimir Klebanov ◽  
Benjamin Weiß
Keyword(s):  
Dynamic Logic

Debugging and Visualization

2016 ◽  
pp. 383-413
Author(s):  
Martin Hentschel ◽  
Reiner Hähnle ◽  
Richard Bubel

Modular Specification and Verification

2016 ◽  
pp. 289-351 ◽  
Author(s):  
Daniel Grahl ◽  
Richard Bubel ◽  
Wojciech Mostowski ◽  
Peter H. Schmitt ◽  
Mattias Ulbrich ◽  
...  
Keyword(s):  
Specification And Verification

First-Order Logic

2016 ◽  
pp. 23-47 ◽  
Author(s):  
Peter H. Schmitt
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document