Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Häftad, Engelska, 2020

Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.

Produktinformation

Utgivningsdatum2020-12-09
Mått155 x 235 x 20 mm
Vikt534 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor339
FörlagSpringer Nature Switzerland AG
ISBN9783030643539

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Artificiell intelligens inom Data och it

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.