Lecture Notes in Computer Science - Deductive Software Verification: Future Perspectives
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 13)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030643539, 9783030643546
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The VerifyThis Collaborative Long Term Challenge

2020 ◽  
pp. 246-260
Author(s):  
Marieke Huisman ◽  
Raúl Monti ◽  
Mattias Ulbrich ◽  
Alexander Weigl

Constraint-Based Contract Inference for Deductive Verification

2020 ◽  
pp. 149-176
Author(s):  
Anoud Alshnakat ◽  
Dilian Gurov ◽  
Christian Lidström ◽  
Philipp Rümmer
Keyword(s):  
Deductive Verification

Using Abstract Contracts for Verifying Evolving Features and Their Interactions

2020 ◽  
pp. 122-148
Author(s):  
Alexander Knüppel ◽  
Stefan Krüger ◽  
Thomas Thüm ◽  
Richard Bubel ◽  
Sebastian Krieter ◽  
...  

Behavioral Contracts for Cooperative Scheduling

2020 ◽  
pp. 85-121
Author(s):  
Eduard Kamburjan ◽  
Crystal Chang Din ◽  
Reiner Hähnle ◽  
Einar Broch Johnsen
Keyword(s):  
Behavioral Contracts ◽  
Cooperative Scheduling

scholarly journals SymPaths: Symbolic Execution Meets Partial Order Reduction

2020 ◽  
pp. 313-338
Author(s):  
Frank S. de Boer ◽  
Marcello Bonsangue ◽  
Einar Broch Johnsen ◽  
Violet Ka I Pun ◽  
S. Lizeth Tapia Tarifa ◽  
...  
Keyword(s):  
Partial Order ◽  
Symbolic Execution ◽  
Order Reduction ◽  
Partial Order Reduction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document