Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY > Constraint-Based Contract Inference for Deductive Verification
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY |
Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Mattias Ulbrich
Springer International Publishing
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Constraint-Based Contract Inference for Deductive Verification
Authors

Anoud Alshnakat; Dilian Gurov; Christian Lidström; Philipp Rümmer

ARI Id

1665292305591_5757604

Access

Not Available Free

Pages

149-176

DOI

10.1007/978-3-030-64354-6_6

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-64354-6_6

Table of Contents of Book
Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xii
Front Matter
1-1
A Short History of KeY
Peter H. Schmitt
3-18
Front Matter
19-19
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family
Stefan Mitsch; André Platzer
21-64
Improving Performance of the VerCors Program Verifier
Henk Mulder; Marieke Huisman; Sebastiaan Joosten
65-82
Front Matter
83-83
Behavioral Contracts for Cooperative Scheduling
Eduard Kamburjan; Crystal Chang Din; Reiner Hähnle; Einar Broch Johnsen
85-121
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Alexander Knüppel; Stefan Krüger; Thomas Thüm; Richard Bubel; Sebastian Krieter; Eric Bodden et al.
122-148
Constraint-Based Contract Inference for Deductive Verification
Anoud Alshnakat; Dilian Gurov; Christian Lidström; Philipp Rümmer
149-176
From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java
Wojciech Mostowski
177-203
Formal Analysis of Smart Contracts: Applying the KeY System
Jonas Schiffl; Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel
204-218
Front Matter
219-219
A Tutorial on Verifying LinkedList Using KeY
Hans-Dieter A. Hiep; Jinting Bian; Frank S. de Boer; Stijn de Gouw
221-245
The VerifyThis Collaborative Long Term Challenge
Marieke Huisman; Raúl Monti; Mattias Ulbrich; Alexander Weigl
246-260
Usability Recommendations for User Guidance in Deductive Program Verification
Sarah Grebing; Mattias Ulbrich
261-284
Front Matter
285-285
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference
Bernhard Beckert; Mihai Herda; Michael Kirsten; Shmuel Tyszberowicz
287-312
SymPaths: Symbolic Execution Meets Partial Order Reduction
Frank S. de Boer; Marcello Bonsangue; Einar Broch Johnsen; Violet Ka I Pun; S. Lizeth Tapia Tarifa; Lars Tveito
313-338
Back Matter
339-339
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings