Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of Key (Paperback, 2020)

History.- A Short History of KeY.- Verification Tools.- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family ? A Tale of Three Provers.- Improving Performance of the VerCors Program Verifier.- Contracts.- Behavioral Contracts for Cooperative Scheduling.- Using Abstract Contracts for Verifying Evolving Features and Their Interactions.- Constraint-based Contract Inference for Deductive Verification.- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java.- Feasibility and Usability.- A Tutorial on Verifying LinkedList Using KeY.- The VerifyThis Collaborative Long Term Challenge.- Usability Recommendations for User Guidance in Deductive Program Verification.- Integration of Verification Techniques.- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.- SymPaths: Symbolic Execution Meets Partial Order Reduction.