Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20 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
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 2024-06-06 23:03 CEST 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:
