Deductive Software Verification Future Perspectives Reflections on the Occasion of 20 Years of KeY 12345 Lecture Notes in Computer Science

Deductive Software Verification Future Perspectives Reflections on the Occasion of 20 Years of KeY 12345 Lecture Notes in Computer Science
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.
Nº de Páginas:
Encadernação: Capa Mole / Paperback
Tema: Software Engineering