![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
20 Years of KeY, 2020
- Wolfgang Ahrendt
, Bernhard Beckert
, Richard Bubel, Reiner Hähnle
, Mattias Ulbrich
:
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science 12345, Springer 2020, ISBN 978-3-030-64353-9
History
- Peter H. Schmitt:
A Short History of KeY. 3-18
Verification Tools
- Stefan Mitsch
, André Platzer
:
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. 21-64 - Henk Mulder, Marieke Huisman
, Sebastiaan J. C. Joosten
:
Improving Performance of the VerCors Program Verifier. 65-82
Contracts
- Eduard Kamburjan
, Crystal Chang Din
, Reiner Hähnle
, Einar Broch Johnsen
:
Behavioral Contracts for Cooperative Scheduling. 85-121 - Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 122-148 - Anoud Alshnakat, Dilian Gurov
, Christian Lidström, Philipp Rümmer
:
Constraint-Based Contract Inference for Deductive Verification. 149-176 - Wojciech Mostowski:
From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java. 177-203 - Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel:
Formal Analysis of Smart Contracts: Applying the KeY System. 204-218
Feasibility and Usablility
- Hans-Dieter A. Hiep
, Jinting Bian, Frank S. de Boer, Stijn de Gouw:
A Tutorial on Verifying LinkedList Using KeY. 221-245 - Marieke Huisman
, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl:
The VerifyThis Collaborative Long Term Challenge. 246-260 - Sarah Grebing, Mattias Ulbrich:
Usability Recommendations for User Guidance in Deductive Program Verification. 261-284
Integration of Verification Techniques
- Bernhard Beckert
, Mihai Herda
, Michael Kirsten
, Shmuel S. Tyszberowicz
:
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 287-312 - Frank S. de Boer, Marcello M. Bonsangue
, Einar Broch Johnsen
, Violet Ka I Pun
, Silvia Lizeth Tapia Tarifa
, Lars Tveito:
SymPaths: Symbolic Execution Meets Partial Order Reduction. 313-338
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.